|
||||||||||
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.BranchingWithLoggingStatements
public class BranchingWithLoggingStatements
Field Summary | |
---|---|
AbstractIntBranchingStrategy |
internalBranching
|
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 | |
---|---|
BranchingWithLoggingStatements(AbstractIntBranchingStrategy internalBranching)
|
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 |
initBranching()
This method is called before launching the search. it may be used to intialiaze data structures or counters for instance. |
void |
initConstraintForBranching(SConstraint c)
this method is used to build the data structure in the branching for the given constraint. |
protected String |
makeLoggingMessage(IntBranchingDecision decision,
String dirMsg,
int worldStamp)
|
static StringBuilder |
makeLoggingMsgPrefix(int worldStamp)
|
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 |
static AbstractIntBranchingStrategy |
setLoggingStatement(AbstractIntBranchingStrategy goal)
|
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, setNextBranching, setSolver |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final AbstractIntBranchingStrategy internalBranching
Constructor Detail |
---|
public BranchingWithLoggingStatements(AbstractIntBranchingStrategy internalBranching)
Method Detail |
---|
public boolean finishedBranching(IntBranchingDecision decision)
IntBranching
decision
- the last decision applied
public String getDecisionLogMessage(IntBranchingDecision decision)
IntBranching
decision
- current decision
public static final StringBuilder makeLoggingMsgPrefix(int worldStamp)
protected String makeLoggingMessage(IntBranchingDecision decision, String dirMsg, int worldStamp)
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 void setFirstBranch(IntBranchingDecision decision)
IntBranching
public void setNextBranch(IntBranchingDecision decision)
IntBranching
public Object selectBranchingObject() throws ContradictionException
BranchingStrategy
ContradictionException
public void initBranching()
AbstractBranchingStrategy
initBranching
in class AbstractBranchingStrategy
public void initConstraintForBranching(SConstraint c)
AbstractBranchingStrategy
initConstraintForBranching
in class AbstractBranchingStrategy
c
- constraintpublic static final AbstractIntBranchingStrategy setLoggingStatement(AbstractIntBranchingStrategy goal)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |