|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractLargeIntBranchingStrategy
choco.cp.solver.search.integer.branching.DomOverWDegBranching
DomOverWDegBranchingNew
public class DomOverWDegBranching
WARNING ! This implementation suppose that the variables will not change. It copies all variables in an array at the beginning !!
Field Summary | |
---|---|
protected static int |
ABSTRACTCONTRAINT_EXTENSION
Deprecated. |
protected static int |
ABSTRACTVAR_EXTENSION
Deprecated. |
protected Random |
randomBreakTies
Deprecated. |
Fields inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy |
---|
LOG_DECISION_MSG_ASSIGN, LOG_DECISION_MSG_REMOVE, LOG_DOWN_MSG, LOG_UP_MSG, manager |
Fields inherited from interface choco.kernel.solver.branch.BranchingStrategy |
---|
LOGGER |
Constructor Summary | |
---|---|
DomOverWDegBranching(Solver s,
ValIterator valHeuri)
Deprecated. |
|
DomOverWDegBranching(Solver s,
ValIterator valHeuri,
IntVar[] vars)
Deprecated. |
|
DomOverWDegBranching(Solver s,
ValSelector valHeuri)
Deprecated. |
|
DomOverWDegBranching(Solver s,
ValSelector valHeuri,
IntVar[] vars)
Deprecated. |
Method Summary | |
---|---|
protected static void |
appendConstraint(StringBuilder b,
SConstraint c)
Deprecated. |
protected static void |
appendVariable(StringBuilder b,
Var v)
Deprecated. |
void |
contradictionOccured(ContradictionException e)
Deprecated. |
boolean |
finishedBranching(IntBranchingDecision decision)
Deprecated. Checks whether all branches have already been explored at the current choice point. |
String |
getDecisionLogMessage(IntBranchingDecision decision)
Deprecated. The logging message associated with the current decision. |
void |
goDownBranch(IntBranchingDecision decision)
Deprecated. Performs the action, so that we go down a branch from the current choice point. |
void |
goUpBranch(IntBranchingDecision decision)
Deprecated. Performs the action, so that we go up the current branch to the father choice point. |
void |
initBranching()
Deprecated. This method is called before launching the search. it may be used to intialiaze data structures or counters for instance. |
void |
initConstraintForBranching(SConstraint c)
Deprecated. this method is used to build the data structure in the branching for the given constraint. |
void |
logWeights(Logger logger,
Level level)
Deprecated. |
void |
safeDelete()
Deprecated. Define action to do just before a deletion. |
Object |
selectBranchingObject()
Deprecated. selecting the object under scrutiny (that object on which an alternative will be set) |
void |
setBranchingVars(IntVar[] vs)
Deprecated. |
void |
setFirstBranch(IntBranchingDecision decision)
Deprecated. compute the first decision by setting a branching value or modifying the branching object |
void |
setNextBranch(IntBranchingDecision decision)
Deprecated. compute the next decision by setting a branching value or modifying the branching object |
void |
setRandomVarTies(int seed)
Deprecated. |
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy |
---|
getDefaultAssignMsg, getDefaultAssignOrForbidMsg |
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy |
---|
getManager, getNextBranching, setNextBranching, setSolver |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static final int ABSTRACTCONTRAINT_EXTENSION
protected static final int ABSTRACTVAR_EXTENSION
protected Random randomBreakTies
Constructor Detail |
---|
public DomOverWDegBranching(Solver s, ValIterator valHeuri, IntVar[] vars)
public DomOverWDegBranching(Solver s, ValIterator valHeuri)
public DomOverWDegBranching(Solver s, ValSelector valHeuri, IntVar[] vars)
public DomOverWDegBranching(Solver s, ValSelector valHeuri)
Method Detail |
---|
public void safeDelete()
safeDelete
in interface PropagationEngineListener
public void initBranching()
AbstractBranchingStrategy
initBranching
in class AbstractBranchingStrategy
public void initConstraintForBranching(SConstraint c)
AbstractBranchingStrategy
initConstraintForBranching
in class AbstractBranchingStrategy
c
- constraintpublic void setBranchingVars(IntVar[] vs)
public void setRandomVarTies(int seed)
public Object selectBranchingObject() throws ContradictionException
BranchingStrategy
selectBranchingObject
in interface BranchingStrategy
ContradictionException
public void setFirstBranch(IntBranchingDecision decision)
IntBranching
setFirstBranch
in interface IntBranching
public void setNextBranch(IntBranchingDecision decision)
IntBranching
setNextBranch
in interface IntBranching
public boolean finishedBranching(IntBranchingDecision decision)
IntBranching
finishedBranching
in interface IntBranching
decision
- the last decision applied
public void goDownBranch(IntBranchingDecision decision) throws ContradictionException
IntBranching
goDownBranch
in interface IntBranching
decision
- the decision to apply.
ContradictionException
- if a domain empties or a contradiction is
inferedpublic void goUpBranch(IntBranchingDecision decision) throws ContradictionException
IntBranching
goUpBranch
in interface IntBranching
decision
- the decision that has been set at the father choice point
ContradictionException
- if a domain empties or a contradiction is
inferedpublic String getDecisionLogMessage(IntBranchingDecision decision)
IntBranching
getDecisionLogMessage
in interface IntBranching
decision
- current decision
public void contradictionOccured(ContradictionException e)
contradictionOccured
in interface PropagationEngineListener
protected static void appendConstraint(StringBuilder b, SConstraint c)
protected static void appendVariable(StringBuilder b, Var v)
public final void logWeights(Logger logger, Level level)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |