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().
|
1.2.11.1 written by Dimitri van Heesch,
© 1997-2001