Modifier and Type | Method and Description |
---|---|
State |
DataBase.compactDB()
Analizza gli stati inseriti nella macchina, controllando che ognuno di essi faccia riferimento ad un altro stato valido.
|
State[] |
DataBase.GetRowState(int index)
Restituisce la riga di stati corrispondenti all'indice passato
|
Modifier and Type | Method and Description |
---|---|
void |
DataBase.emptyArrayState(State[] v) |
void |
DataBase.InsertRowState(State s,
int i,
int j)
Inserimento di un nuovo stato
|