Awali
Another Weighted Automata library
|
#include <iostream>
Go to the source code of this file.
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 > | |
std::set< T > | awali::sttc::internal::get_union (const std::set< T > &set1, const std::set< T > &set2) |
template<typename T > | |
bool | awali::sttc::internal::has (const std::set< T > &s, const T &e) |
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 > | |
std::set< T > | awali::sttc::internal::intersection (const std::set< T > &set1, const std::set< T > &set2) |
template<typename T > | |
std::set< std::set< T > > | awali::sttc::internal::intersection_closure (std::set< std::set< T >> pset) |
template<typename T > | |
std::ostream & | awali::sttc::internal::print (const std::set< T > &set, std::ostream &o) |
template<typename Container1 , typename Container2 > | |
bool | awali::sttc::internal::subset (const Container1 &set1, const Container2 &set2) ATTRIBUTE_PURE |
Whether set1 ⊆ set2. More... | |