Awali
Another Weighted Automata library
Namespaces | Functions
unordered_map.hh File Reference
#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...