choco.kernel.solver.constraints.global.automata.common
Classes 
AutomatonOperation
StoredIndexedBipartiteSetWithOffset