|
| template<typename T , typename Compare , typename Alloc > |
| std::set< T, Compare, Alloc > | awali::sttc::internal::get_union (const std::set< T, Compare, Alloc > &set1, const std::set< T, Compare, Alloc > &set2) |
| | The union of two sets. More...
|
| |
| template<typename T , typename Compare , typename Alloc > |
| bool | awali::sttc::internal::has (const std::set< T, Compare, Alloc > &s, const T &e) ATTRIBUTE_PURE |
| | Whether e is member of s. More...
|
| |
| template<typename Key , typename Value , typename Comp , typename Alloc > |
| std::set< typename std::map< Key, Value, Comp, Alloc >::mapped_type > | awali::sttc::internal::image (const std::map< Key, Value, Comp, Alloc > &m) |
| | The set of values of a map. More...
|
| |
| template<typename T , typename Compare , typename Alloc > |
| std::set< T, Compare, Alloc > | awali::sttc::internal::intersection (const std::set< T, Compare, Alloc > &set1, const std::set< T, Compare, Alloc > &set2) |
| | The intersection of two sets. More...
|
| |
| template<typename T , typename Compare , typename Alloc > |
| std::set< std::set< T, Compare, Alloc > > | awali::sttc::internal::intersection_closure (std::set< std::set< T, Compare, Alloc >> pset) |
| | The set of all the intersections of the sets in pset. More...
|
| |
| template<typename T , typename Compare , typename Alloc > |
| std::ostream & | awali::sttc::internal::print (const std::set< T, Compare, Alloc > &set, std::ostream &o) |
| | Print with a separator. Meant to help debugging. More...
|
| |
| template<typename Container1 , typename Container2 > |
| bool | awali::sttc::internal::subset (const Container1 &set1, const Container2 &set2) ATTRIBUTE_PURE |
| | Whether set1 ⊆ set2. More...
|
| |