Methods in choco.cp.solver.search that return AssignOrForbidIntVarValPair |
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 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 AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
DisjunctiveSModel disjSModel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
DisjunctiveSModel disjSModel,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
long seed)
|
static AssignOrForbidIntVarValPair |
BranchingFactory.profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
|