#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 () |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|