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