Vcsn
2.2
Be Rational
|
Go to the source code of this file.
Namespaces | |
vcsn | |
Functions | |
template<typename T , typename Compare , typename Alloc > | |
bool | vcsn::has (const std::set< T, Compare, Alloc > &s, const T &e) ATTRIBUTE_PURE |
Whether e is member of s. More... | |
template<typename T , typename Compare , typename Alloc > | |
std::set< std::set< T, Compare, Alloc > > | vcsn::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 & | vcsn::print (const std::set< T, Compare, Alloc > &set, std::ostream &o) |
Print with a separator. Meant to help debugging. More... | |
template<typename Container > | |
bool | vcsn::subset (const Container &set1, const Container &set2) ATTRIBUTE_PURE |
Whether set1 ⊆ set2. More... | |