![]() |
Awali
Another Weighted Automata library
|
Go to the source code of this file.
Data Structures | |
| struct | std::hash< unordered_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 Key , typename Hash , typename KeyEqual , typename Alloc > | |
| bool | awali::sttc::internal::has (const std::unordered_set< Key, Hash, KeyEqual, Alloc > &s, const Key &k) |
| Whether e is member of s. More... | |