choco.cp.solver.search
Class BranchingFactory

java.lang.Object
  extended by 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
 

Method Detail

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.