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.

Constructors in org.jacop.constraints.regular with parameters of type FSM

Modifier	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.