FSMSADF::MPExplore::StoredStates Class Reference
#include <mpexplore.h>
Public Member Functions | |
void | store (State *x) |
bool | includes (State *x, State **y) |
bool | includes (State *x) |
Detailed Description
class StoredStates Hash of states.
Member Function Documentation
Referenced by FSMSADF::MPExplore::Exploration::exploreDelayForSchedule().
bool FSMSADF::MPExplore::StoredStates::includes | ( | State * | x | ) | [inline] |
void FSMSADF::MPExplore::StoredStates::store | ( | State * | x | ) | [inline] |
Referenced by FSMSADF::MPExplore::Exploration::exploreDelayForSchedule().
The documentation for this class was generated from the following file: