|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |