Methods in choco.cp.solver.search with parameters of type ITemporalSRelation |
static MinRatioSelector |
VarSelectorFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences)
|
static RandMinRatioSelector |
VarSelectorFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static MinRatioSelector |
VarSelectorFactory.minPreserved(Solver solver,
ITemporalSRelation[] precedences)
|
static RandMinRatioSelector |
VarSelectorFactory.minPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.minPreserved(Solver solver,
ITemporalSRelation[] precedences,
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,
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)
|