public class FMA extends FSA implements java.io.Serializable
Constructor and Description |
---|
FMA()
Invoke the super constructor and take in input the added new parameters of the automaton
|
Modifier and Type | Method and Description |
---|---|
protected Simulator |
createSim()
Create an instance of the simulator for an FMA
|
int[] |
getRegister() |
int[] |
getRho() |
void |
print()
Print in output a description of the automaton
|
void |
updateRegister(int[] r)
Change the actual register with those in input
|
createTransition, getFinalStates, getInitial, getStates, getTransition, load, run, setTransition, write
public FMA()
public int[] getRegister()
public int[] getRho()
public void updateRegister(int[] r)
r
- the registers to be savedpublic void print()