Uses of Class
choco.kernel.model.constraints.automaton.Transition

Packages that use Transition
choco.kernel.model.constraints.automaton   
 

Uses of Transition in choco.kernel.model.constraints.automaton
 

Fields in choco.kernel.model.constraints.automaton declared as Transition
protected  Transition[] DFA.automaton
          The table of transitions
 

Methods in choco.kernel.model.constraints.automaton that return types with arguments of type Transition
 List<Transition> DFA.getOutEdges(int s)
           
 

Constructor parameters in choco.kernel.model.constraints.automaton with type arguments of type Transition
DFA(List<Transition> trans, List<Integer> finalStates, int sizeword)
          Build a DFA (deterministic finite automaton) to enforce a set of sizeword variables to be assigned to a word recognized by that dfa.
 



Copyright © 2012. All Rights Reserved.