|
||||||||||
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.cp.solver.search.real.AssignInterval
public class AssignInterval
A binary branching assigning interval to subinterval.
Field Summary | |
---|---|
protected static String[] |
LOG_DECISION_MSG
|
protected ValIterator<RealVar> |
valIterator
|
protected VarSelector<RealVar> |
varSelector
|
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 | |
---|---|
AssignInterval(VarSelector<RealVar> varSelector,
ValIterator<RealVar> valIterator)
|
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)
do nothing |
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, initConstraintForBranching, setNextBranching, setSolver |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected VarSelector<RealVar> varSelector
protected ValIterator<RealVar> valIterator
protected static final String[] LOG_DECISION_MSG
Constructor Detail |
---|
public AssignInterval(VarSelector<RealVar> varSelector, ValIterator<RealVar> valIterator)
Method Detail |
---|
public Object selectBranchingObject() throws ContradictionException
BranchingStrategy
ContradictionException
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
decision
- the decision that has been set at the father choice point
ContradictionException
- if a domain empties or a contradiction is
inferedpublic void setFirstBranch(IntBranchingDecision decision)
IntBranching
public void setNextBranch(IntBranchingDecision decision)
IntBranching
public boolean finishedBranching(IntBranchingDecision decision)
IntBranching
decision
- the last decision applied
public String getDecisionLogMessage(IntBranchingDecision decision)
IntBranching
decision
- current decision
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |