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

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)
           
 



Copyright © 2012. All Rights Reserved.