Methods in choco.cp.solver.search that return TaskOverWDegBinBranching |
static TaskOverWDegBinBranching |
BranchingFactory.preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
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 TaskOverWDegBinBranching |
BranchingFactory.slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static TaskOverWDegBinBranching |
BranchingFactory.slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static TaskOverWDegBinBranching |
BranchingFactory.slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|