Uses of Class
org.jacop.util.fsm.FSM
Packages that use FSM
Package
Description
-
Uses of FSM in org.jacop.constraints.regular
Fields in org.jacop.constraints.regular declared as FSMModifier and TypeFieldDescriptionRegular.fsm
It specifies finite state machine used by this regular.Methods in org.jacop.constraints.regular with parameters of type FSMModifier and TypeMethodDescriptionprivate void
Regular.initializeARRAY
(FSM dfa) Initialization phase of the algorithm.Constructors in org.jacop.constraints.regular with parameters of type FSM -
Uses of FSM in org.jacop.examples.fd.carsequencing
Methods in org.jacop.examples.fd.carsequencing that return FSMModifier and TypeMethodDescriptionstatic 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 FSMModifier and TypeMethodDescriptionNonogram.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 FSMModifier and TypeMethodDescriptionFSM.concatenation
(FSM other) It does concatenation of two FSM.RegularExpressionParser.Concatination.parseToFSM()
abstract FSM
RegularExpressionParser.Expression.parseToFSM()
It creates Finite State Machine from the expression.RegularExpressionParser.Literal.parseToFSM()
RegularExpressionParser.Star.parseToFSM()
RegularExpressionParser.Sum.parseToFSM()
FSM.star()
It performs star operation on this FSM.It computes a union of two Finite State Machines.Methods in org.jacop.util.fsm with parameters of type FSM