spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Functions

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...
 

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

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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:11 for spot by doxygen 1.8.4