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.