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