spot  1.0.1
Classes | Functions
Hashing functions
Miscellaneous helper algorithms

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::identity_hash< T >
 A hash function that returns identity. 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.
typedef Sgi::hash< std::string > spot::string_hash
 A hash function for strings.

Detailed Description

Typedef Documentation

typedef Sgi::hash<std::string> spot::string_hash

A hash function for strings.

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

Referenced by spot::ptr_hash< T >::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


Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:02 for spot by doxygen 1.8.1.2