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.
Copyright © 2022. All rights reserved.