Hashing functions
[Miscellaneous helper algorithms]

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.
size_t	spot::knuth32_hash (size_t key)
	Knuth's Multiplicative hash function.

---

Function Documentation

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

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

---

Please comment this page and report errors about it on the RefDocComments page.