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

Packages that use DFA
choco   
choco.cp.solver.constraints.global.regular   
parser.absconparseur.components   
parser.chocogen   
samples.multicostregular.planner   
 

Uses of DFA in choco
 

Methods in choco with parameters of type DFA
static Constraint Choco.regular(DFA auto, IntegerVariable[] vars)
          Deprecated. reorder parameters
static Constraint Choco.regular(IntegerVariable[] vars, DFA auto)
          Create a Regular constraint that enforce the sequence of variables to be a word recognized by the dfa auto.
 

Uses of DFA in choco.cp.solver.constraints.global.regular
 

Constructors in choco.cp.solver.constraints.global.regular with parameters of type DFA
Regular(DFA auto, IntDomainVar[] vs, IEnvironment environment)
          Enforce the sequence of variable vs to be a word recognized by DFA auto
Regular(DFA auto, IntDomainVar[] vs, int[] lbs, int[] dsize, IEnvironment environment)
           
 

Uses of DFA in parser.absconparseur.components
 

Fields in parser.absconparseur.components declared as DFA
protected  DFA PRelation.dfa
          DFA to represent the table
 

Methods in parser.absconparseur.components that return DFA
 DFA PRelation.getDfa()
           
 

Methods in parser.absconparseur.components with parameters of type DFA
 void PRelation.setDfa(DFA dfa)
           
 

Uses of DFA in parser.chocogen
 

Methods in parser.chocogen that return DFA
static DFA RelationFactory.makeDFA(PRelation prel)
           
 

Uses of DFA in samples.multicostregular.planner
 

Methods in samples.multicostregular.planner that return DFA
 DFA InstanceMaker.makeHadrienAuto()
           
 



Copyright © 2012. All Rights Reserved.