Methods in choco.cp.solver.search that return AssignOrForbidIntVarVal |
static AssignOrForbidIntVarVal |
BranchingFactory.domDDegBin(Solver solver)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDDegBin(Solver solver,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDegBin(Solver solver)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domDegBin(Solver solver,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domWDegBin(Solver solver)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignOrForbidIntVarVal |
BranchingFactory.domWDegBin(Solver solver,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
BranchingFactory.randomBinSearch(Solver solver,
IntDomainVar[] vars,
long seed)
|
static AssignOrForbidIntVarVal |
BranchingFactory.randomIntBinSearch(Solver solver,
long seed)
|