Classes | |
struct | spot::ltl::formula_ptr_hash |
Hash Function for const formula* .This is meant to be used as a hash functor for Sgi's hash_map whose key are of type const formula* . More... | |
struct | spot::ptr_hash< T > |
A hash function for pointers. More... | |
struct | spot::string_hash |
A hash function for strings. More... | |
struct | spot::saba_state_ptr_hash |
Hash Function for saba_state* .This is meant to be used as a hash functor for Sgi's hash_map whose key are of type saba_state* . More... | |
struct | spot::saba_state_shared_ptr_hash |
Hash Function for shared_saba_state (shared_ptr<const saba_state*>).This is meant to be used as a hash functor for Sgi's hash_map whose key are of type shared_saba_state . More... | |
struct | spot::state_ptr_hash |
Hash Function for state* .This is meant to be used as a hash functor for Sgi's hash_map whose key are of type state* . More... | |
struct | spot::state_shared_ptr_hash |
Hash Function for shared_state (shared_ptr<const state*>).This is meant to be used as a hash functor for Sgi's hash_map whose key are of type shared_state . More... | |
Functions | |
size_t | spot::wang32_hash (size_t key) |
Thomas Wang's 32 bit hash function. | |
size_t | spot::knuth32_hash (size_t key) |
Knuth's Multiplicative hash function. |
size_t spot::knuth32_hash | ( | size_t | key | ) | [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
Referenced by spot::string_hash::operator()().
size_t spot::wang32_hash | ( | size_t | key | ) | [inline] |
Thomas Wang's 32 bit hash function.
Hash an integer amongst the integers. http://www.concentric.net/~Ttwang/tech/inthash.htm