- FMA - package FMA
-
Finite Memory Automata, extends the package FSA.
- FMA - Class in FMA
-
Extends the FSA by including a function rho for each state and a set of registers.
- FMA() - Constructor for class FMA.FMA
-
Invoke the super constructor and take in input the added new parameters of the automaton
- FMAContinuation - Class in FMA
-
Extends the Continuation by adding the register
- FMAContinuation(int, int, int[], Vector<Transition>) - Constructor for class FMA.FMAContinuation
-
Create a new FMA Continuation
- FMASimulator - Class in FMA
-
Extends Simulator by adding the registers and change the condition of validity of transitions, and override various methods.
- FMASimulator(FSA) - Constructor for class FMA.FMASimulator
-
- fresh - Variable in class PFSA.PFSASimulator
-
- FSA - package FSA
-
Finite State Automata, this is the basic package including all the class to extend.
- FSA - Class in FSA
-
This class represents a FSA.
- FSA(String) - Constructor for class FSA.FSA
-
Create a FSA by taking in input the parameters
- FSA() - Constructor for class FSA.FSA
-
Create the FSA by taking in input all the parameters and store the created Automaton.
- FSA(Transition[]) - Constructor for class FSA.FSA
-
initialize only the transitions