FSMSADF::MPExploreStateSpace::StateHasher Class Reference
#include <statespace.h>
Public Member Functions | |
size_t | operator() (const State *s) const |
Detailed Description
class StateHasher Compute hash value of state.
Member Function Documentation
size_t FSMSADF::MPExploreStateSpace::StateHasher::operator() | ( | const State * | s | ) | const [inline] |
References FSMSADF::MPExploreStateSpace::State::hashValue().
Here is the call graph for this function:
The documentation for this class was generated from the following file: