spot
1.2.6
|
Classes | |
struct | spot::ltl::formula_ptr_hash |
Hash Function for const formula* . More... | |
struct | spot::ptr_hash< T > |
A hash function for pointers. More... | |
struct | spot::identity_hash< T > |
A hash function that returns identity. More... | |
struct | spot::saba_state_ptr_hash |
Hash Function for saba_state* . More... | |
struct | spot::saba_state_shared_ptr_hash |
Hash Function for shared_saba_state (shared_ptr<const saba_state*>). More... | |
struct | spot::state_ptr_hash |
Hash Function for state* . More... | |
struct | spot::state_shared_ptr_hash |
Hash Function for shared_state (shared_ptr<const state*>). More... | |
Functions | |
size_t | spot::wang32_hash (size_t key) |
Thomas Wang's 32 bit hash function. More... | |
size_t | spot::knuth32_hash (size_t key) |
Knuth's Multiplicative hash function. More... | |
typedef Sgi::hash< std::string > | spot::string_hash |
A hash function for strings. More... | |
typedef Sgi::hash<std::string> spot::string_hash |
A hash function for strings.
|
inline |
Knuth's Multiplicative hash function.
This function is suitable for hashing values whose high order bits do not vary much (ex. addresses of memory objects). Prefer spot::wang32_hash() otherwise. http://www.concentric.net/~Ttwang/tech/addrhash.htm
|
inline |
Thomas Wang's 32 bit hash function.
Hash an integer amongst the integers. http://www.concentric.net/~Ttwang/tech/inthash.htm