#include <StateDictionary.h>
Public Methods | |
| StateDictionary () | |
| int | addName (int dim, int name) |
| int | indexForName (int dim, int name) |
| int | nameForIndex (int dim, int idx) |
| int | maxIndex (int dim) |
| int | addSignalName (int name) |
| int | indexForSignalName (int name) |
| int | nameForSignalIndex (int idx) |
| int | maxSignalIndex () |
| int | v2getDimensions () |
| int * | v2getSizeVector () |
| int | v2getDimensionsWithSignals () |
| int * | v2getSizeVectorWithSignals () |
|
|
|
|
||||||||||||
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.14 written by Dimitri van Heesch,
© 1997-2002