Package org.jacop.constraints.regular


package org.jacop.constraints.regular
  • Classes
    Class
    Description
    The 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.