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