Uses of Class
FSA.Simulator

Packages that use Simulator

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 Simulator in CA

Methods in CA that return Simulator

Modifier and Type	Method and Description
protected Simulator	CA.createSim() Create an instance of the simulator for an FMA

Uses of Simulator in FMA

Subclasses of Simulator in FMA

Modifier and Type	Class and Description
class	FMASimulator Extends Simulator by adding the registers and change the condition of validity of transitions, and override various methods.

Methods in FMA that return Simulator

Modifier and Type	Method and Description
protected Simulator	FMA.createSim() Create an instance of the simulator for an FMA

Uses of Simulator in FSA

Methods in FSA that return Simulator

Modifier and Type	Method and Description
protected Simulator	FSA.createSim()

Uses of Simulator in PFSA

Subclasses of Simulator in PFSA

Modifier and Type	Class and Description
class	PFSASimulator Extends the Simulator by changing the notion of validity of a transition, also handling fresh names.

Methods in PFSA that return Simulator

Modifier and Type	Method and Description
protected Simulator	PFSA.createSim() Create an instance of the simulator for the PFSA