Uses of Class
FSA.FSA

Packages that use FSA

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

Subclasses of FSA in CA

Modifier and Type	Class and Description
class	CA Class implementing a Contract Automaton and its functionalities

Uses of FSA in FMA

Subclasses of FSA in FMA

Modifier and Type	Class and Description
class	FMA Extends the FSA by including a function rho for each state and a set of registers.

Methods in FMA with parameters of type FSA

Modifier and Type	Method and Description
void	FMASimulator.changeAutoma(FSA automa) Change the automaton

Constructors in FMA with parameters of type FSA

Constructor and Description
FMASimulator(FSA automa)

Uses of FSA in FSA

Fields in FSA declared as FSA

Modifier and Type	Field and Description
protected FSA	Simulator.automa

Methods in FSA that return FSA

Modifier and Type	Method and Description
static FSA	FSA.load(java.lang.String name) Load a stored automaton

Methods in FSA with parameters of type FSA

Modifier and Type	Method and Description
void	Simulator.changeAutoma(FSA automa) Change the automaton to simulate
static void	FSA.write(FSA a) Store in a file the automaton

Constructors in FSA with parameters of type FSA

Constructor and Description
Simulator(FSA automa) The constructor

Uses of FSA in PFSA

Subclasses of FSA in PFSA

Modifier and Type	Class and Description
class	PFSA Extends FSA by adding the stack and registers

Methods in PFSA with parameters of type FSA

Modifier and Type	Method and Description
void	PFSASimulator.changeAutoma(FSA automa) Change the automaton

Constructors in PFSA with parameters of type FSA

Constructor and Description
PFSASimulator(FSA automa)