public class PFSA extends FSA implements java.io.Serializable
Constructor and Description |
---|
PFSA()
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 the PFSA
|
protected Transition |
createTransition(int i)
Create a new Transition for this PFSA
|
java.util.Vector[] |
getStreg() |
void |
print()
Print in output a description of the automaton
|
void |
updateStreg(java.util.Vector[] streg)
Change streg with the parameter in input
|
getFinalStates, getInitial, getStates, getTransition, load, run, setTransition, write
public PFSA()
public void print()
public java.util.Vector[] getStreg()
public void updateStreg(java.util.Vector[] streg)
streg
- an array of Vectorprotected Transition createTransition(int i)
createTransition
in class FSA
i
- the index of the transition to be showed as a message to the user