|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IntBranching
IntBranching objects are specific branching objects where each branch is labeled with an integer. This is typically useful for choice points in search trees.
Field Summary |
---|
Fields inherited from interface choco.kernel.solver.branch.BranchingStrategy |
---|
LOGGER |
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 |
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 interface choco.kernel.solver.branch.BranchingStrategy |
---|
selectBranchingObject |
Method Detail |
---|
void goDownBranch(IntBranchingDecision decision) throws ContradictionException
decision
- the decision to apply.
ContradictionException
- if a domain empties or a contradiction is
inferedvoid 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
inferedvoid setFirstBranch(IntBranchingDecision decision)
x
- the current decisionvoid setNextBranch(IntBranchingDecision decision)
x
- the current decisionboolean finishedBranching(IntBranchingDecision decision)
decision
- the last decision applied
String getDecisionLogMessage(IntBranchingDecision decision)
decision
- current decision
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |