|
||||||||||
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.AssignVar
public class AssignVar
Nested Class Summary | |
---|---|
protected static class |
AssignVar.ValIteratorWrapper
|
protected static class |
AssignVar.ValSelectorWrapper
|
protected static interface |
AssignVar.ValueChooserWrapper
|
Field Summary |
---|
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 | |
---|---|
AssignVar(VarSelector varSel,
ValIterator valIterator)
|
|
AssignVar(VarSelector varSel,
ValSelector valSelector)
|
Method Summary | |
---|---|
boolean |
finishedBranching(IntBranchingDecision decision)
Checks whether all branches have already been explored at the current choice point. |
String |
getDecisionLogMessage(IntBranchingDecision decision)
The logging message associated with the current decision. |
void |
goDownBranch(IntBranchingDecision decision)
Performs the action, so that we go down a branch from the current choice point. |
void |
goUpBranch(IntBranchingDecision decision)
Performs the action, so that we go up the current branch to the father choice point. |
void |
initConstraintForBranching(SConstraint c)
this method is used to build the data structure in the branching for the given constraint. |
Object |
selectBranchingObject()
selecting the object under scrutiny (that object on which an alternative will be set) |
void |
setFirstBranch(IntBranchingDecision decision)
compute the first decision by setting a branching value or modifying the branching object |
void |
setNextBranch(IntBranchingDecision decision)
compute the next decision by setting a branching value or modifying the branching object |
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy |
---|
getDefaultAssignMsg, getDefaultAssignOrForbidMsg |
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy |
---|
getManager, getNextBranching, initBranching, setNextBranching, setSolver |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AssignVar(VarSelector varSel, ValIterator valIterator)
public AssignVar(VarSelector varSel, ValSelector valSelector)
Method Detail |
---|
public Object selectBranchingObject() throws ContradictionException
ContradictionException
public boolean finishedBranching(IntBranchingDecision decision)
IntBranching
decision
- the last decision applied
public void setFirstBranch(IntBranchingDecision decision)
IntBranching
public void setNextBranch(IntBranchingDecision decision)
IntBranching
public void goDownBranch(IntBranchingDecision decision) throws ContradictionException
IntBranching
decision
- the decision to apply.
ContradictionException
- if a domain empties or a contradiction is
inferedpublic void goUpBranch(IntBranchingDecision decision) throws ContradictionException
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
decision
- current decision
public void initConstraintForBranching(SConstraint c)
AbstractBranchingStrategy
initConstraintForBranching
in class AbstractBranchingStrategy
c
- constraint
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |