choco.cp.solver.search
Class BranchingFactory
java.lang.Object
choco.cp.solver.search.BranchingFactory
public final class BranchingFactory
- extends Object
Method Summary |
static AssignVar |
completeDecreasing(Solver solver,
PackSConstraint ct,
boolean bestFit,
boolean dynRem)
|
static AssignVar |
completeDecreasingBestFit(Solver solver,
PackSConstraint ct)
|
static AssignVar |
completeDecreasingFirstFit(Solver solver,
PackSConstraint ct)
|
static AssignVar |
domDDeg(Solver solver)
|
static AssignVar |
domDDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static AssignVar |
domDDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static AssignVar |
domDDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignVar |
domDDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignVar |
domDDeg(Solver solver,
ValIterator valSel)
|
static AssignVar |
domDDeg(Solver solver,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
domDDegBin(Solver solver)
|
static AssignOrForbidIntVarVal |
domDDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
domDDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignOrForbidIntVarVal |
domDDegBin(Solver solver,
ValSelector valSel)
|
static AssignVar |
domDeg(Solver solver)
|
static AssignVar |
domDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static AssignVar |
domDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static AssignVar |
domDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignVar |
domDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignVar |
domDeg(Solver solver,
ValIterator valSel)
|
static AssignVar |
domDeg(Solver solver,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
domDegBin(Solver solver)
|
static AssignOrForbidIntVarVal |
domDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
domDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignOrForbidIntVarVal |
domDegBin(Solver solver,
ValSelector valSel)
|
static AssignVar |
domWDeg(Solver solver)
|
static AssignVar |
domWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static AssignVar |
domWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static AssignVar |
domWDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignVar |
domWDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignVar |
domWDeg(Solver solver,
ValIterator valSel)
|
static AssignVar |
domWDeg(Solver solver,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
domWDegBin(Solver solver)
|
static AssignOrForbidIntVarVal |
domWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static AssignOrForbidIntVarVal |
domWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static AssignOrForbidIntVarVal |
domWDegBin(Solver solver,
ValSelector valSel)
|
static DomOverWDegBranchingNew |
incDomWDeg(Solver solver)
|
static DomOverWDegBranchingNew |
incDomWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
|
static DomOverWDegBranchingNew |
incDomWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
|
static DomOverWDegBranchingNew |
incDomWDeg(Solver solver,
ValIterator valSel)
|
static DomOverWDegBinBranchingNew |
incDomWDegBin(Solver solver)
|
static DomOverWDegBinBranchingNew |
incDomWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
|
static DomOverWDegBinBranchingNew |
incDomWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
|
static DomOverWDegBinBranchingNew |
incDomWDegBin(Solver solver,
ValSelector valSel)
|
static AssignVar |
lexicographic(Solver solver)
|
static AssignVar |
lexicographic(Solver solver,
IntDomainVar[] vars)
|
static AssignVar |
lexicographic(Solver solver,
IntDomainVar[] vars,
ValSelector<IntDomainVar> valSel)
|
static AssignSetVar |
lexicographic(Solver solver,
SetVar[] vars)
|
static AssignOrForbidIntVarValPair |
maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static AssignOrForbidIntVarValPair |
maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static AssignVar |
minDomIncDom(Solver s)
|
static AssignVar |
minDomIncDom(Solver s,
IntDomainVar[] vars)
|
static AssignVar |
minDomMinVal(Solver s)
|
static AssignVar |
minDomMinVal(Solver s,
IntDomainVar[] vars)
|
static AssignOrForbidIntVarValPair |
minPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static AssignOrForbidIntVarValPair |
minPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
minPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static TaskOverWDegBinBranching |
preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static TaskOverWDegBinBranching |
preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static TaskOverWDegBinBranching |
preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
static AssignOrForbidIntVarValPair |
profile(Solver solver,
DisjunctiveSModel disjSModel)
|
static AssignOrForbidIntVarValPair |
profile(Solver solver,
DisjunctiveSModel disjSModel,
long seed)
|
static AssignOrForbidIntVarValPair |
profile(Solver solver,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarValPair |
profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel)
|
static AssignOrForbidIntVarValPair |
profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
long seed)
|
static AssignOrForbidIntVarValPair |
profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
|
static AssignOrForbidIntVarVal |
randomBinSearch(Solver solver,
IntDomainVar[] vars,
long seed)
|
static AssignOrForbidIntVarVal |
randomIntBinSearch(Solver solver,
long seed)
|
static AssignVar |
randomIntSearch(Solver solver,
long seed)
|
static AssignVar |
randomSearch(Solver solver,
IntDomainVar[] vars,
long seed)
|
static AssignSetVar |
randomSearch(Solver solver,
SetVar[] vars,
long seed)
|
static AssignSetVar |
randomSetSearch(Solver solver,
long seed)
|
static SetTimes |
setTimes(Solver solver)
|
static SetTimes |
setTimes(Solver solver,
long seed)
|
static SetTimes |
setTimes(Solver solver,
TaskVar[] tasks,
Comparator<ITask> comparator)
|
static SetTimes |
setTimes(Solver solver,
TaskVar[] tasks,
Comparator<ITask> comparator,
long seed)
|
static TaskOverWDegBinBranching |
slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static TaskOverWDegBinBranching |
slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
|
static TaskOverWDegBinBranching |
slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
minDomMinVal
public static AssignVar minDomMinVal(Solver s,
IntDomainVar[] vars)
minDomMinVal
public static AssignVar minDomMinVal(Solver s)
minDomIncDom
public static AssignVar minDomIncDom(Solver s,
IntDomainVar[] vars)
minDomIncDom
public static AssignVar minDomIncDom(Solver s)
lexicographic
public static AssignVar lexicographic(Solver solver)
lexicographic
public static AssignVar lexicographic(Solver solver,
IntDomainVar[] vars)
lexicographic
public static AssignVar lexicographic(Solver solver,
IntDomainVar[] vars,
ValSelector<IntDomainVar> valSel)
lexicographic
public static AssignSetVar lexicographic(Solver solver,
SetVar[] vars)
randomIntBinSearch
public static AssignOrForbidIntVarVal randomIntBinSearch(Solver solver,
long seed)
randomBinSearch
public static AssignOrForbidIntVarVal randomBinSearch(Solver solver,
IntDomainVar[] vars,
long seed)
randomIntSearch
public static AssignVar randomIntSearch(Solver solver,
long seed)
randomSearch
public static AssignVar randomSearch(Solver solver,
IntDomainVar[] vars,
long seed)
randomSetSearch
public static AssignSetVar randomSetSearch(Solver solver,
long seed)
randomSearch
public static AssignSetVar randomSearch(Solver solver,
SetVar[] vars,
long seed)
domDegBin
public static AssignOrForbidIntVarVal domDegBin(Solver solver)
domDegBin
public static AssignOrForbidIntVarVal domDegBin(Solver solver,
ValSelector valSel)
domDegBin
public static AssignOrForbidIntVarVal domDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
domDegBin
public static AssignOrForbidIntVarVal domDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
domDeg
public static AssignVar domDeg(Solver solver)
domDeg
public static AssignVar domDeg(Solver solver,
ValIterator valSel)
domDeg
public static AssignVar domDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
domDeg
public static AssignVar domDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
domDeg
public static AssignVar domDeg(Solver solver,
ValSelector valSel)
domDeg
public static AssignVar domDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
domDeg
public static AssignVar domDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
domDDegBin
public static AssignOrForbidIntVarVal domDDegBin(Solver solver)
domDDegBin
public static AssignOrForbidIntVarVal domDDegBin(Solver solver,
ValSelector valSel)
domDDegBin
public static AssignOrForbidIntVarVal domDDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
domDDegBin
public static AssignOrForbidIntVarVal domDDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
domDDeg
public static AssignVar domDDeg(Solver solver)
domDDeg
public static AssignVar domDDeg(Solver solver,
ValIterator valSel)
domDDeg
public static AssignVar domDDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
domDDeg
public static AssignVar domDDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
domDDeg
public static AssignVar domDDeg(Solver solver,
ValSelector valSel)
domDDeg
public static AssignVar domDDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
domDDeg
public static AssignVar domDDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
domWDegBin
public static AssignOrForbidIntVarVal domWDegBin(Solver solver)
domWDegBin
public static AssignOrForbidIntVarVal domWDegBin(Solver solver,
ValSelector valSel)
domWDegBin
public static AssignOrForbidIntVarVal domWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
domWDegBin
public static AssignOrForbidIntVarVal domWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
domWDeg
public static AssignVar domWDeg(Solver solver)
domWDeg
public static AssignVar domWDeg(Solver solver,
ValIterator valSel)
domWDeg
public static AssignVar domWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
domWDeg
public static AssignVar domWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
domWDeg
public static AssignVar domWDeg(Solver solver,
ValSelector valSel)
domWDeg
public static AssignVar domWDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
domWDeg
public static AssignVar domWDeg(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
incDomWDegBin
public static DomOverWDegBinBranchingNew incDomWDegBin(Solver solver)
incDomWDegBin
public static DomOverWDegBinBranchingNew incDomWDegBin(Solver solver,
ValSelector valSel)
incDomWDegBin
public static DomOverWDegBinBranchingNew incDomWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel)
incDomWDegBin
public static DomOverWDegBinBranchingNew incDomWDegBin(Solver solver,
IntDomainVar[] vars,
ValSelector valSel,
long seed)
incDomWDeg
public static DomOverWDegBranchingNew incDomWDeg(Solver solver)
incDomWDeg
public static DomOverWDegBranchingNew incDomWDeg(Solver solver,
ValIterator valSel)
incDomWDeg
public static DomOverWDegBranchingNew incDomWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel)
incDomWDeg
public static DomOverWDegBranchingNew incDomWDeg(Solver solver,
IntDomainVar[] vars,
ValIterator valSel,
long seed)
slackWDeg
public static TaskOverWDegBinBranching slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
long seed)
slackWDeg
public static TaskOverWDegBinBranching slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
slackWDeg
public static TaskOverWDegBinBranching slackWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
preservedWDeg
public static TaskOverWDegBinBranching preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
long seed)
preservedWDeg
public static TaskOverWDegBinBranching preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
preservedWDeg
public static TaskOverWDegBinBranching preservedWDeg(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
minPreserved
public static AssignOrForbidIntVarValPair minPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
minPreserved
public static AssignOrForbidIntVarValPair minPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
minPreserved
public static AssignOrForbidIntVarValPair minPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
maxPreserved
public static AssignOrForbidIntVarValPair maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
maxPreserved
public static AssignOrForbidIntVarValPair maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel)
maxPreserved
public static AssignOrForbidIntVarValPair maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
OrderingValSelector valSel,
long seed)
setTimes
public static SetTimes setTimes(Solver solver)
setTimes
public static SetTimes setTimes(Solver solver,
long seed)
setTimes
public static SetTimes setTimes(Solver solver,
TaskVar[] tasks,
Comparator<ITask> comparator)
setTimes
public static SetTimes setTimes(Solver solver,
TaskVar[] tasks,
Comparator<ITask> comparator,
long seed)
completeDecreasing
public static AssignVar completeDecreasing(Solver solver,
PackSConstraint ct,
boolean bestFit,
boolean dynRem)
completeDecreasingFirstFit
public static AssignVar completeDecreasingFirstFit(Solver solver,
PackSConstraint ct)
completeDecreasingBestFit
public static AssignVar completeDecreasingBestFit(Solver solver,
PackSConstraint ct)
profile
public static AssignOrForbidIntVarValPair profile(Solver solver,
DisjunctiveSModel disjSModel)
profile
public static AssignOrForbidIntVarValPair profile(Solver solver,
DisjunctiveSModel disjSModel,
long seed)
profile
public static AssignOrForbidIntVarValPair profile(Solver solver,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
profile
public static AssignOrForbidIntVarValPair profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel)
profile
public static AssignOrForbidIntVarValPair profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
long seed)
profile
public static AssignOrForbidIntVarValPair profile(Solver solver,
IResource<?>[] resources,
DisjunctiveSModel disjSModel,
OrderingValSelector valSel)
Copyright © 2012. All Rights Reserved.