MaxPlusAnalysis::StoredStates Class Reference
#include <mpstorage.h>
Public Member Functions | |
void | store (State *x) |
bool | includes (State *x, State **y) |
bool | includes (State *x) |
Detailed Description
class StoredStates
Member Function Documentation
bool MaxPlusAnalysis::StoredStates::includes | ( | State * | x | ) | [inline] |
void MaxPlusAnalysis::StoredStates::store | ( | State * | x | ) | [inline] |
The documentation for this class was generated from the following file: