Public Member Functions

FSMSADF::MPExplore::StoredStates Class Reference

#include <mpexplore.h>

List of all members.

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

bool FSMSADF::MPExplore::StoredStates::includes ( State *  x,
State **  y 
) [inline]

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: