Methods in choco.cp.solver.search that return AssignVar |
static AssignVar |
BranchingFactory.completeDecreasing(Solver solver,
PackSConstraint ct,
boolean bestFit,
boolean dynRem)
|
static AssignVar |
BranchingFactory.completeDecreasingBestFit(Solver solver,
PackSConstraint ct)
|
static AssignVar |
BranchingFactory.completeDecreasingFirstFit(Solver solver,
PackSConstraint ct)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver,
ValIterator valSel)
|
static AssignVar |
BranchingFactory.domDDeg(Solver solver,
ValSelector valSel)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver,
ValIterator valSel)
|
static AssignVar |
BranchingFactory.domDeg(Solver solver,
ValSelector valSel)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver,
ValIterator valSel)
|
static AssignVar |
BranchingFactory.domWDeg(Solver solver,
ValSelector valSel)
|
static AssignVar |
BranchingFactory.lexicographic(Solver solver)
|
static AssignVar |
BranchingFactory.lexicographic(Solver solver,
IntDomainVar[] vars)
|
static AssignVar |
BranchingFactory.lexicographic(Solver solver,
IntDomainVar[] vars,
ValSelector<IntDomainVar> valSel)
|
static AssignVar |
BranchingFactory.minDomIncDom(Solver s)
|
static AssignVar |
BranchingFactory.minDomIncDom(Solver s,
IntDomainVar[] vars)
|
static AssignVar |
BranchingFactory.minDomMinVal(Solver s)
|
static AssignVar |
BranchingFactory.minDomMinVal(Solver s,
IntDomainVar[] vars)
|
static AssignVar |
BranchingFactory.randomIntSearch(Solver solver,
long seed)
|
static AssignVar |
BranchingFactory.randomSearch(Solver solver,
IntDomainVar[] vars,
long seed)
|