choco.kernel.model.constraints.automaton.FA
Interfaces 
IAutomaton
ICostAutomaton
Classes 
CostAutomaton
FiniteAutomaton
IAutomaton.Triple
Exceptions 
IAutomaton.NonDeterministicOperationException
IAutomaton.StateNotInAutomatonException