Package | Description |
---|---|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
FMAContinuation
Extends the Continuation by adding the register
|
Modifier and Type | Method and Description |
---|---|
Continuation |
FMAContinuation.cloneWithoutTransition()
Clone this continuation without the transitions
|
protected Continuation |
FMASimulator.createContinuation()
Create a new Continuation with the freezed state of the automaton
|
Modifier and Type | Method and Description |
---|---|
boolean |
FMAContinuation.equalWithoutTransition(Continuation c)
Check if this transition is equal to c without checking the transitions
|
protected void |
FMASimulator.restoreStateContinuation(Continuation c)
restore the state of the simulator with the parameters in the continuation C.
|
Modifier and Type | Method and Description |
---|---|
Continuation |
Continuation.cloneWithoutTransition()
Clone this continuation, without specifying the transitions
|
protected Continuation |
Simulator.createContinuation()
Freeze the actual state of the simulator in a continuation
|
Modifier and Type | Method and Description |
---|---|
boolean |
Continuation.containTransition(Continuation c,
Transition t)
Check if the continuation c is equal without transition to this continuation, and if the transition t
is contained in this continuation
|
boolean |
Continuation.equalWithoutTransition(Continuation c)
Check if the continuation c has the same pointer state and pointer string of this continuation
|
protected void |
Simulator.restoreStateContinuation(Continuation c)
restore the state of the simulator freezed in the continuation c
|
Modifier and Type | Method and Description |
---|---|
protected Transition |
Simulator.backtracking(java.util.Vector<Continuation> continuation,
java.util.Vector<Continuation> visited)
Select a transition in the continuation that is not visited, save it in the visited continuation and restore the state of the continuation.
|
protected Transition |
Simulator.backtracking(java.util.Vector<Continuation> continuation,
java.util.Vector<Continuation> visited)
Select a transition in the continuation that is not visited, save it in the visited continuation and restore the state of the continuation.
|
protected boolean |
Simulator.step(int symbol,
java.util.Vector<Continuation> continuation,
java.util.Vector<Continuation> visited)
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.
|
protected boolean |
Simulator.step(int symbol,
java.util.Vector<Continuation> continuation,
java.util.Vector<Continuation> visited)
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.
|
Modifier and Type | Class and Description |
---|---|
class |
PFSAContinuation
Extends Continuation by adding stack and registers.
|
Modifier and Type | Method and Description |
---|---|
Continuation |
PFSAContinuation.cloneWithoutTransition()
Clone this continuation without the transitions
|
protected Continuation |
PFSASimulator.createContinuation()
Create a new Continuation with the freezed state of the automaton
|
Modifier and Type | Method and Description |
---|---|
boolean |
PFSAContinuation.equalWithoutTransition(Continuation c)
Check if this transition is equal to c without checking the transitions
|
protected void |
PFSASimulator.restoreStateContinuation(Continuation c)
restore the state of the simulator with the parameters in the continuation C.
|