Awali
Another Weighted Automata library
Data Structures | Namespaces | Functions
set.hh File Reference
#include <algorithm>
#include <map>
#include <set>
#include <awali/sttc/misc/attributes.hh>
#include <awali/utils/hash.hh>
#include <awali/sttc/misc/set.hxx>

Go to the source code of this file.

Data Structures

struct  std::hash< set< T > >
 

Namespaces

 awali
 Main namespace of Awali.
 
 awali::sttc
 Namespace for the static layer of Awali.
 
 awali::sttc::internal
 Implementation details of static layer (not stable).
 

Functions

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 set1set2. More...