Package org.jacop.constraints.regular
package org.jacop.constraints.regular
-
ClassesClassDescriptionThe class responsible for connecting two states in regular automaton of Regular constraint.The state class representing a state in the regular automaton within Regular constraint.It is a state representation which uses a domain representation to represent all integers which can transition from this state to the given successor state.It is an implementation of the Regular state which uses a separate successor for each value.Regular constraint accepts only the assignment to variables which is accepted by an automaton.