Awali
Another Weighted Automata library
|
Go to the source code of this file.
Data Structures | |
struct | std::hash< map< Key, Value, Compare, Alloc > > |
class | awali::sttc::internal::less< ValueSet > |
adapter of std::less to wrap less_than method of valuesets More... | |
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 Key , typename Value , typename Compare , typename Alloc > | |
bool | awali::sttc::internal::has (const std::map< Key, Value, Compare, Alloc > &s, const Key &e) |