- CA - package CA
-
Contract Automata, extends FSA implementing the functionalities of a CA
- CA - Class in CA
-
Class implementing a Contract Automaton and its functionalities
- CA() - Constructor for class CA.CA
-
Invoke the super constructor and take in input the added new parameters of the automaton
- CA(int, int[], int[], int[][], CATransition[]) - Constructor for class CA.CA
-
- CATransition - Class in CA
-
Transition of a contract automaton
- CATransition(int[], int[], int[]) - Constructor for class CA.CATransition
-
- CATransition(int) - Constructor for class CA.CATransition
-
Take in input a transition
- CAUtil - Class in CA
-
Utilities for CA: product, aproduct
- CAUtil() - Constructor for class CA.CAUtil
-
- changeAutoma(FSA) - Method in class FMA.FMASimulator
-
Change the automaton
- changeAutoma(FSA) - Method in class FSA.Simulator
-
Change the automaton to simulate
- changeAutoma(FSA) - Method in class PFSA.PFSASimulator
-
Change the automaton
- checkContinuation(Transition, int) - Method in class FSA.Simulator
-
If a transition was selected in the continuation (tr not null), then perform the step by updating the state of the simulator
- clone() - Method in class CA.CA
-
- cloneWithoutTransition() - Method in class FMA.FMAContinuation
-
Clone this continuation without the transitions
- cloneWithoutTransition() - Method in class FSA.Continuation
-
Clone this continuation, without specifying the transitions
- cloneWithoutTransition() - Method in class PFSA.PFSAContinuation
-
Clone this continuation without the transitions
- contains(int, int[]) - Static method in class FSA.Simulator
-
check if n is contained in a
- contains(int, Vector) - Static method in class FSA.Simulator
-
Check if n is contained in the vector v
- containTransition(Continuation, Transition) - Method in class FSA.Continuation
-
Check if the continuation c is equal without transition to this continuation, and if the transition t
is contained in this continuation
- Continuation - Class in FSA
-
This class represents a freeze state of the simulator, it is used for backtracking
- Continuation(int, int, Vector<Transition>) - Constructor for class FSA.Continuation
-
Create a new Continuation
- copyRegister() - Method in class FMA.FMAContinuation
-
- copyStReg() - Method in class PFSA.PFSAContinuation
-
- createContinuation() - Method in class FMA.FMASimulator
-
Create a new Continuation with the freezed state of the automaton
- createContinuation() - Method in class FSA.Simulator
-
Freeze the actual state of the simulator in a continuation
- createContinuation() - Method in class PFSA.PFSASimulator
-
Create a new Continuation with the freezed state of the automaton
- createSim() - Method in class CA.CA
-
Create an instance of the simulator for an FMA
- createSim() - Method in class FMA.FMA
-
Create an instance of the simulator for an FMA
- createSim() - Method in class FSA.FSA
-
- createSim() - Method in class PFSA.PFSA
-
Create an instance of the simulator for the PFSA
- createTransition(int) - Method in class CA.CA
-
- createTransition(int) - Method in class FSA.FSA
-
- createTransition(int) - Method in class PFSA.PFSA
-
Create a new Transition for this PFSA