Uses of Class
FSA.Transition

Packages that use Transition

Package	Description
CA	Contract Automata, extends FSA implementing the functionalities of a CA
FMA	Finite Memory Automata, extends the package FSA.
FSA	Finite State Automata, this is the basic package including all the class to extend.
PFSA	Pushdown Nominal Automata, extends the package FSA.

Uses of Transition in CA

Subclasses of Transition in CA

Modifier and Type	Class and Description
class	CATransition Transition of a contract automaton

Methods in CA that return Transition

Modifier and Type	Method and Description
protected Transition	CA.createTransition(int i)

Uses of Transition in FMA

Methods in FMA with parameters of type Transition

Modifier and Type	Method and Description
protected boolean	FMASimulator.isValid(Transition tr, int symbol) A transition tr is valid if the symbol is contained in the registers and the label is equal to the index of the register containing the symbol in input; or if the symbol in input is not contained in the registers and the label is equal to the fuction rho in the actual state.
protected void	FMASimulator.updateState(Transition tr, int symbol) Update the register of the automaton if the symbol in input is not contained in the register, invoke the method of the superclass for updating the other parameters.

Constructor parameters in FMA with type arguments of type Transition

Constructor and Description
FMAContinuation(int pe, int pg, int[] r, java.util.Vector<Transition> tr) Create a new FMA Continuation

Uses of Transition in FSA

Methods in FSA that return Transition

Modifier and Type	Method and Description
protected Transition	Simulator.backtracking(java.util.Vector<Continuation> continuation, java.util.Vector<Continuation> visited) Select a transition in the continuation that is not visited, save it in the visited continuation and restore the state of the continuation.
protected Transition	FSA.createTransition(int i)
Transition[]	FSA.getTransition()
static Transition[]	Transition.getTransitionByLabel(int l, Transition[] tr) Return all the transitions with label l
static Transition[]	Transition.getTransitionFrom(int n, Transition[] tr) Returns all the transitions starting from a state n

Methods in FSA that return types with arguments of type Transition

Modifier and Type	Method and Description
java.util.Vector<Transition>	Continuation.getTransition()

Methods in FSA with parameters of type Transition

Modifier and Type	Method and Description
protected boolean	Simulator.checkContinuation(Transition tr, int symbol) If a transition was selected in the continuation (tr not null), then perform the step by updating the state of the simulator
boolean	Continuation.containTransition(Continuation c, Transition t) Check if the continuation c is equal without transition to this continuation, and if the transition t is contained in this continuation
static Transition[]	Transition.getTransitionByLabel(int l, Transition[] tr) Return all the transitions with label l
static Transition[]	Transition.getTransitionFrom(int n, Transition[] tr) Returns all the transitions starting from a state n
protected boolean	Simulator.isValid(Transition tr, int symbol) Check if the transition can be performed
void	FSA.setTransition(Transition[] tra)
protected void	Simulator.updateState(Transition tr, int symbol) Update the state of the simulator by performing the transition tr

Method parameters in FSA with type arguments of type Transition

Modifier and Type	Method and Description
void	Continuation.setTransition(java.util.Vector<Transition> v) Update the transitions

Constructors in FSA with parameters of type Transition

Constructor and Description
FSA(Transition[] t) initialize only the transitions

Constructor parameters in FSA with type arguments of type Transition

Constructor and Description
Continuation(int pe, int pg, java.util.Vector<Transition> tr) Create a new Continuation

Uses of Transition in PFSA

Subclasses of Transition in PFSA

Modifier and Type	Class and Description
class	PFSATransition Override transition by changing the label

Methods in PFSA that return Transition

Modifier and Type	Method and Description
protected Transition	PFSA.createTransition(int i) Create a new Transition for this PFSA

Methods in PFSA with parameters of type Transition

Modifier and Type	Method and Description
protected boolean	PFSASimulator.isValid(Transition tr, int symbol) A transition tr with symbol in input is valid if : sigma=T, stack not empty, top fresh or top equals to symbol in input sigma=i , register i not empty and available, top fresh or top equals to symbol in input sigma=square Z=i, stack and register i not empty, top stack = top register i Z=?
protected void	PFSASimulator.updateState(Transition t, int symbol) Update the state of the simulator by performing the transition tr

Constructor parameters in PFSA with type arguments of type Transition

Constructor and Description
PFSAContinuation(int pe, int pg, java.util.Vector<Transition> tr, java.util.Vector[] streg) Create a new PFSA Continuation