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.

A C D E F G H I L M O P R S T V