FSMSADF::MPExploreStateSpace::StateHasher Class Reference

#include <statespace.h>

List of all members.

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: