| addName(int dim, int name) | StateDictionary | |
| addSignalName(int name) | StateDictionary | |
| indexForName(int dim, int name) | StateDictionary | |
| indexForSignalName(int name) | StateDictionary | |
| maxIndex(int dim) | StateDictionary | |
| maxSignalIndex() | StateDictionary | |
| nameForIndex(int dim, int idx) | StateDictionary | |
| nameForSignalIndex(int idx) | StateDictionary | |
| StateDictionary() | StateDictionary | |
| v2getDimensions() | StateDictionary | |
| v2getDimensionsWithSignals() | StateDictionary | |
| v2getSizeVector() | StateDictionary | |
| v2getSizeVectorWithSignals() | StateDictionary |
1.2.14 written by Dimitri van Heesch,
© 1997-2002