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