state_hash_function.h File Reference

Go to the source code of this file.

Classes
class	StateHashFunction< state_t >

Typedefs
typedef uint64_t	StateHash
	The hash value of a state. More...

Typedef Documentation

typedef uint64_t StateHash

The hash value of a state.