Uses of Class
org.jacop.util.fsm.FSM
-
Packages that use FSM Package Description org.jacop.constraints.regular org.jacop.examples.fd.carsequencing org.jacop.examples.fd.nonogram org.jacop.util.fsm -
-
Uses of FSM in org.jacop.constraints.regular
Fields in org.jacop.constraints.regular declared as FSM Modifier and Type Field Description FSM
Regular. fsm
It specifies finite state machine used by this regular.Methods in org.jacop.constraints.regular with parameters of type FSM Modifier and Type Method Description private void
Regular. initializeARRAY(FSM dfa)
Initialization phase of the algorithm Considering that it needs to initialize the array of graph States - stateLevels, and, thus, it needs to know the actual number of the states on each level I found nothing better then run the initialization phase with the complete NxN array of states and then copy the useful ones into a final array (which is ugly)Constructors in org.jacop.constraints.regular with parameters of type FSM Constructor Description Regular(FSM fsm, IntVar[] list)
Constructor need Store to initialize the time-stamps -
Uses of FSM in org.jacop.examples.fd.carsequencing
Methods in org.jacop.examples.fd.carsequencing that return FSM Modifier and Type Method Description static FSM
CarSequencing. createFSM(int count, IntervalDomain yes, IntervalDomain no)
-
Uses of FSM in org.jacop.examples.fd.nonogram
Methods in org.jacop.examples.fd.nonogram that return FSM Modifier and Type Method Description FSM
Nonogram. createAutomaton(int[] sequence)
It produces and FSM given a sequence representing a rule. -
Uses of FSM in org.jacop.util.fsm
Methods in org.jacop.util.fsm that return FSM Modifier and Type Method Description FSM
FSM. concatenation(FSM other)
It does concatenation of two FSM.FSM
RegularExpressionParser.Concatination. parseToFSM()
abstract FSM
RegularExpressionParser.Expression. parseToFSM()
It creates Finite State Machine from the expression.FSM
RegularExpressionParser.Literal. parseToFSM()
FSM
RegularExpressionParser.Star. parseToFSM()
FSM
RegularExpressionParser.Sum. parseToFSM()
FSM
FSM. star()
It performs star operation on this FSM.FSM
FSM. union(FSM other)
It computes a union of two Finite State Machines.Methods in org.jacop.util.fsm with parameters of type FSM Modifier and Type Method Description FSM
FSM. concatenation(FSM other)
It does concatenation of two FSM.FSM
FSM. union(FSM other)
It computes a union of two Finite State Machines.
-