choco.kernel.model.constraints.automaton.FA.utils
Interfaces 
ICounter
Classes 
Bounds
Counter
CounterState