|
||||||||||
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.AbstractIntBranching
@Deprecated public abstract class AbstractIntBranching
Field Summary | |
---|---|
String[] |
LOG_DECISION_MSG
Deprecated. |
static String |
LOG_DOWN_MSG
Deprecated. |
static String |
LOG_UP_MSG
Deprecated. |
protected static Logger |
logger
Deprecated. an object for logging trace statements |
protected AbstractGlobalSearchStrategy |
manager
Deprecated. the main control object (responsible for the whole exploration, while the branching object is responsible only at the choice point level |
protected AbstractBranchingStrategy |
nextBranching
Deprecated. a link towards the next branching object (once this one is exhausted) |
Fields inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy |
---|
LOG_DECISION_MSG_ASSIGN, LOG_DECISION_MSG_REMOVE |
Fields inherited from interface choco.kernel.solver.branch.BranchingStrategy |
---|
LOGGER |
Constructor Summary | |
---|---|
AbstractIntBranching()
Deprecated. |
Method Summary | |
---|---|
boolean |
finishedBranching(IntBranchingDecision decision)
Deprecated. Checks whether all branches have already been explored at the current choice point. |
abstract boolean |
finishedBranching(Object x,
int i)
Deprecated. Checks whether all branches have already been explored at the current choice point. |
String |
getDecisionLogMessage(IntBranchingDecision decision)
Deprecated. The logging message associated with the current decision. |
abstract String |
getDecisionLogMsg(int branchIndex)
Deprecated. used for logging messages related to the search tree |
abstract int |
getFirstBranch(Object x)
Deprecated. Computes the search index of the first branch of the choice point. |
abstract int |
getNextBranch(Object x,
int i)
Deprecated. Computes the search index of the next branch of the choice point. |
void |
goDownBranch(IntBranchingDecision decision)
Deprecated. Performs the action, so that we go down a branch from the current choice point. |
abstract void |
goDownBranch(Object x,
int i)
Deprecated. Performs the action, so that we go down a branch from the current choice point. |
void |
goUpBranch(IntBranchingDecision decision)
Deprecated. Performs the action, so that we go up the current branch to the father choice point. |
abstract void |
goUpBranch(Object x,
int i)
Deprecated. Performs the action, so that we go up the current branch to the father choice point. |
void |
initBranching()
Deprecated. This method is called before launching the search. it may be used to intialiaze data structures or counters for instance. |
void |
initConstraintForBranching(SConstraint c)
Deprecated. this method is used to build the data structure in the branching for the given constraint. |
abstract Object |
selectBranchingObject()
Deprecated. selecting the object under scrutiny (that object on which an alternative will be set) |
void |
setFirstBranch(IntBranchingDecision decision)
Deprecated. compute the first decision by setting a branching value or modifying the branching object |
void |
setNextBranch(IntBranchingDecision decision)
Deprecated. compute the next decision by setting a branching value or modifying the branching object |
void |
setSolver(AbstractGlobalSearchStrategy s)
Deprecated. |
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy |
---|
getDefaultAssignMsg, getDefaultAssignOrForbidMsg |
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy |
---|
getManager, getNextBranching, setNextBranching |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected AbstractGlobalSearchStrategy manager
protected AbstractBranchingStrategy nextBranching
protected static Logger logger
public static String LOG_DOWN_MSG
public static String LOG_UP_MSG
public String[] LOG_DECISION_MSG
Constructor Detail |
---|
public AbstractIntBranching()
Method Detail |
---|
public void setSolver(AbstractGlobalSearchStrategy s)
setSolver
in class AbstractBranchingStrategy
public abstract String getDecisionLogMsg(int branchIndex)
branchIndex
- is the index of the branching
public void initBranching()
initBranching
in class AbstractBranchingStrategy
public void initConstraintForBranching(SConstraint c)
initConstraintForBranching
in class AbstractBranchingStrategy
c
- public abstract Object selectBranchingObject() throws ContradictionException
ContradictionException
public abstract void goDownBranch(Object x, int i) throws ContradictionException
x
- the object on which the alternative is seti
- the label of the branch that we want to go down
ContradictionException
- if a domain empties or a contradiction is
inferedpublic abstract void goUpBranch(Object x, int i) throws ContradictionException
x
- the object on which the alternative has been set
at the father choice pointi
- the label of the branch that has been travelled down
from the father choice point
ContradictionException
- if a domain empties or a contradiction is
inferedpublic abstract int getFirstBranch(Object x)
x
- the object on which the alternative is set
public abstract int getNextBranch(Object x, int i)
x
- the object on which the alternative is seti
- the index of the current branch
public abstract boolean finishedBranching(Object x, int i)
x
- the object on which the alternative is seti
- the index of the last branch
public final void goDownBranch(IntBranchingDecision decision) throws ContradictionException
decision
- the decision to apply.
ContradictionException
- if a domain empties or a contradiction is
inferedpublic final 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 final void setFirstBranch(IntBranchingDecision decision)
decision
- the current decisionpublic final void setNextBranch(IntBranchingDecision decision)
decision
- the current decisionpublic final boolean finishedBranching(IntBranchingDecision decision)
decision
- the last decision applied
public final String getDecisionLogMessage(IntBranchingDecision decision)
decision
- current decision
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |