Awali
Another Weighted Automata library
|
#include <unordered_map>
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 Key , typename T , typename Hash , typename KeyEqual , typename Alloc > | |
size_t | awali::sttc::internal::collision_count (const std::unordered_map< Key, T, Hash, KeyEqual, Alloc > &m) |
Sum of bucket sizes. More... | |
template<typename Key , typename T , typename Hash , typename KeyEqual , typename Alloc > | |
bool | awali::sttc::internal::has (const std::unordered_map< Key, T, Hash, KeyEqual, Alloc > &m, const Key &k) |
Whether e is member of m. More... | |