- PFSA - package PFSA
-
Pushdown Nominal Automata, extends the package FSA.
- PFSA - Class in PFSA
-
Extends FSA by adding the stack and registers
- PFSA() - Constructor for class PFSA.PFSA
-
Invoke the super constructor and take in input the added new parameters of the automaton
- PFSAContinuation - Class in PFSA
-
Extends Continuation by adding stack and registers.
- PFSAContinuation(int, int, Vector<Transition>, Vector[]) - Constructor for class PFSA.PFSAContinuation
-
Create a new PFSA Continuation
- PFSASimulator - Class in PFSA
-
Extends the Simulator by changing the notion of validity of a transition, also handling fresh names.
- PFSASimulator(FSA) - Constructor for class PFSA.PFSASimulator
-
- PFSATransition - Class in PFSA
-
Override transition by changing the label
- PFSATransition(int, int, int, int, int, int) - Constructor for class PFSA.PFSATransition
-
- PFSATransition(int) - Constructor for class PFSA.PFSATransition
-
Create a new Transition by taking in input the user parameters
- pointer_state - Variable in class FSA.Continuation
-
- pointer_state - Variable in class FSA.Simulator
-
- pointer_string - Variable in class FSA.Continuation
-
- pointer_string - Variable in class FSA.Simulator
-
- print() - Method in class CA.CA
-
Print in output a description of the automaton
- print() - Method in class FMA.FMA
-
Print in output a description of the automaton
- print() - Method in class FSA.FSA
-
Print in output a description of the automaton
- print() - Method in class PFSA.PFSA
-
Print in output a description of the automaton
- prodStates() - Method in class CA.CA
-
- product(CA[]) - Static method in class CA.CAUtil
-
compute the product automaton of the CA given in aut
- proj(int) - Method in class CA.CA
-
compute the projection on the i-th principal, or null if rank=1