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