choco.kernel.model.constraints.automaton
Classes
DFA
LayeredDFA
LightLayeredDFA
LightState
State
Transition