Uses of Class
core.FiniteStateMachine

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)