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::string_hash |
A hash function for strings. More... | |
struct | spot::state_ptr_hash |
Hash Function for state* . More... | |
Functions | |
size_t | spot::wang32_hash (size_t key) |
Thomas Wang's 32 bit hash function. |
|
Thomas Wang's 32 bit hash function. Hash an integer amongst the integers. http://www.concentric.net/~Ttwang/tech/inthash.htm |