|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LayeredDFA | |
---|---|
choco.kernel.model.constraints.automaton |
Uses of LayeredDFA in choco.kernel.model.constraints.automaton |
---|
Fields in choco.kernel.model.constraints.automaton declared as LayeredDFA | |
---|---|
protected LayeredDFA |
State.auto
|
protected LayeredDFA |
DFA.graph
The layered graph build according to that dfa |
Methods in choco.kernel.model.constraints.automaton that return LayeredDFA | |
---|---|
LayeredDFA |
DFA.getGraph()
|
Methods in choco.kernel.model.constraints.automaton with parameters of type LayeredDFA | |
---|---|
State |
LayeredDFA.makeState(LayeredDFA auto,
int level)
|
void |
DFA.setGraph(LayeredDFA graph)
|
Constructors in choco.kernel.model.constraints.automaton with parameters of type LayeredDFA | |
---|---|
LightLayeredDFA(LayeredDFA automata)
construct an initial automaton with different domain sizes per layer The automaton initially accepts all words |
|
State(LayeredDFA a,
int level)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |