Methods in choco.cp.solver.search with parameters of type OrderingValSelector |
static AssignOrForbidIntVarValPair |
BranchingFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.minPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.minPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static TaskOverWDegBinBranching |
BranchingFactory.preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static TaskOverWDegBinBranching |
BranchingFactory.preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
|
static TaskOverWDegBinBranching |
BranchingFactory.slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static TaskOverWDegBinBranching |
BranchingFactory.slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|