Public Methods | |
StateEqualPairListItem (StateEqualPair *mystatepair, StateEqualPairListItem *mynext) | |
void * | operator new (size_t size) |
void | operator delete (void *ptr) |
Public Attributes | |
StateEqualPair * | statepair |
StateEqualPairListItem * | next |
|
Definition at line 635 of file FSM.cpp. 00636 { 00637 statepair=mystatepair; 00638 next=mynext; 00639 } |
|
Definition at line 642 of file FSM.cpp. 00642 {} |
|
Definition at line 641 of file FSM.cpp. 00641 { return fsmtmpmem->GetByteBlock(size); } |
|
Definition at line 633 of file FSM.cpp. Referenced by MarkDependentNotEqual().
|
|
Definition at line 632 of file FSM.cpp. Referenced by MarkDependentNotEqual().
|