|
Class Summary |
| RegEdge |
The class responsible for connecting two states in regular automaton
of Regular constraint. |
| RegState |
The state class representing a state in the regular automaton
within Regular constraint. |
| RegStateDom |
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. |
| RegStateInt |
It is an implementation of the Regular state which uses a separate successor for each
value. |
| Regular |
Regular constraint accepts only the assignment to variables which is accepted by
an automaton. |