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