|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FiniteStateMachine | |
---|---|
core | |
gui | |
parser |
Uses of FiniteStateMachine in core |
---|
Methods in core that return FiniteStateMachine | |
---|---|
FiniteStateMachine |
FiniteStateMachine.complementLanguage()
Inverts all final states (all non-final states become final, all final states become non-final) If the given fsm is not deterministic or not complete, the complement of the power fsm will be returned. |
FiniteStateMachine |
FiniteStateMachine.link(java.lang.String... symbols)
Creates an fsm where some symbols are replaced by other symbols. |
FiniteStateMachine |
FiniteStateMachine.makeAllStatesFinal()
Returns a clone of the fsm whose states are all final. |
FiniteStateMachine |
FiniteStateMachine.makeComplete()
Adds a non-final error state to the fsm. |
FiniteStateMachine |
FiniteStateMachine.makeInvariantTo(FiniteStateMachine... fsm)
Tries to make the "checker"-FSM invariant to the alphabet of all other fsms given as arguments in the array "fsm". |
FiniteStateMachine |
FiniteStateMachine.minimize()
Minimizes the FSM. |
FiniteStateMachine |
FiniteStateMachine.parallel(FiniteStateMachine fsm)
Constructs a FiniteStateMachine that is the asynchronous composition of the two FSMs. |
static FiniteStateMachine |
FiniteStateMachine.partialOrderReduction(FiniteStateMachine checker,
FiniteStateMachine... fsm)
The partial order reduction constructs a reduced state graph of the parallel composition of all FSMs given in the array "fsm". |
FiniteStateMachine |
FiniteStateMachine.power()
Returns the power-fsm of the finite state machine. |
FiniteStateMachine |
FiniteStateMachine.product(FiniteStateMachine fsm)
Creates a product machine which accepts as a language the intersection of the two languages of the given finite state machines. |
Methods in core with parameters of type FiniteStateMachine | |
---|---|
FiniteStateMachine |
FiniteStateMachine.makeInvariantTo(FiniteStateMachine... fsm)
Tries to make the "checker"-FSM invariant to the alphabet of all other fsms given as arguments in the array "fsm". |
FiniteStateMachine |
FiniteStateMachine.parallel(FiniteStateMachine fsm)
Constructs a FiniteStateMachine that is the asynchronous composition of the two FSMs. |
static FiniteStateMachine |
FiniteStateMachine.partialOrderReduction(FiniteStateMachine checker,
FiniteStateMachine... fsm)
The partial order reduction constructs a reduced state graph of the parallel composition of all FSMs given in the array "fsm". |
static FiniteStateMachine |
FiniteStateMachine.partialOrderReduction(FiniteStateMachine checker,
FiniteStateMachine... fsm)
The partial order reduction constructs a reduced state graph of the parallel composition of all FSMs given in the array "fsm". |
FiniteStateMachine |
FiniteStateMachine.product(FiniteStateMachine fsm)
Creates a product machine which accepts as a language the intersection of the two languages of the given finite state machines. |
Constructors in core with parameters of type FiniteStateMachine | |
---|---|
FiniteStateMachine(FiniteStateMachine fsm)
Copy constructor. |
Uses of FiniteStateMachine in gui |
---|
Constructors in gui with parameters of type FiniteStateMachine | |
---|---|
FSMViewer(FiniteStateMachine fsm1,
java.lang.String name)
|
Uses of FiniteStateMachine in parser |
---|
Methods in parser that return FiniteStateMachine | |
---|---|
static FiniteStateMachine |
FSMParser.parseFSM(java.io.Reader r)
|
static FiniteStateMachine |
FSMParser.readFSM(java.lang.String filename)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |