|
||||||||||
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
samples.multicostregular.nsp.NSPBranching
public class NSPBranching
Created by IntelliJ IDEA. User: julien Date: Dec 9, 2008 Time: 1:03:46 PM
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 | |
---|---|
NSPBranching(NSPVarSelector varselec,
NSPValSelector valselec)
|
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. |
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 |
Constructor Detail |
---|
public NSPBranching(NSPVarSelector varselec, NSPValSelector valselec)
Method Detail |
---|
public void setFirstBranch(IntBranchingDecision decision)
IntBranching
public void setNextBranch(IntBranchingDecision decision)
IntBranching
public boolean finishedBranching(IntBranchingDecision decision)
IntBranching
decision
- the last decision applied
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
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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |