- safe() - Method in class CA.CA
-
- sender() - Method in class CA.CATransition
-
- setTransition(Vector<Transition>) - Method in class FSA.Continuation
-
Update the transitions
- setTransition(Transition[]) - Method in class FSA.FSA
-
- sideConditions() - Method in class FSA.Simulator
-
A method to be extended in case of additional conditions of acceptance
- sideConditions() - Method in class PFSA.PFSASimulator
-
As a side conditions in the final state when the string in input is consumed the automaton must have
the empty stack
- Simulator - Class in FSA
-
This class simulates a running of a FSA for accepting/refuting a string in input
- Simulator(FSA) - Constructor for class FSA.Simulator
-
The constructor
- smpc() - Method in class CA.CA
-
compute the most permissive controller for strong agreement
- step(int, Vector<Continuation>, Vector<Continuation>) - Method in class FSA.Simulator
-
Select all the possible transition that can be executed in this configuration, then perform the first transition and store all the other in the continuation.
- strongAgreement() - Method in class CA.CA
-
- strongLiable() - Method in class CA.CA
-
- strongSafe() - Method in class CA.CA
-
- sumStates() - Method in class CA.CA
-