Uses of Class
org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton