Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
O
P
R
S
T
V
M
main(String[])
- Static method in class commandline.
FSMMain
makeAllStatesFinal()
- Method in class core.
FiniteStateMachine
Returns a clone of the fsm whose states are all final.
makeComplete()
- Method in class core.
FiniteStateMachine
Adds a non-final error state to the fsm.
makeInvariantTo(FiniteStateMachine...)
- Method in class core.
FiniteStateMachine
Tries to make the "checker"-FSM invariant to the alphabet of all other fsms given as arguments in the array "fsm".
minimize()
- Method in class core.
FiniteStateMachine
Minimizes the FSM.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
O
P
R
S
T
V