choco.search
Class AbstractIntBranching

java.lang.Object
  choco.branch.AbstractBranching
      choco.search.AbstractIntBranching

All Implemented Interfaces:

Branching, IntBranching

Direct Known Subclasses:

AbstractBinIntBranching, AbstractLargeIntBranching, AbstractSetBranching, AssignInterval

public abstract class AbstractIntBranching
extends AbstractBranching
implements IntBranching

An abstract class for all implementations of branching objets (objects controlling the tree search)

Field Summary

Fields inherited from class choco.branch.AbstractBranching

LOG_DECISION_MSG, LOG_DOWN_MSG, LOG_UP_MSG, logger, manager, nextBranching

Constructor Summary

AbstractIntBranching()

Method Summary

boolean	explore(int n) Deprecated. replaced by the management incremental search (with a stack of BranchingTrace storing the environment (local variables) associated to each choice point
void	goDownBranch(java.lang.Object x, int i) Performs the action, so that we go down a branch from the current choice point.
void	goUpBranch(java.lang.Object x, int i) Performs the action, so that we go up the current branch to the father choice point.
protected void	logDownBranch(java.lang.Object x, int i)
protected void	logUpBranch(java.lang.Object x, int i)

Methods inherited from class choco.branch.AbstractBranching

getDecisionLogMsg, getNextBranching, setNextBranching, setSolver

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface choco.branch.IntBranching

branchOn, finishedBranching, getFirstBranch, getNextBranch

Methods inherited from interface choco.branch.Branching

selectBranchingObject

Constructor Detail

AbstractIntBranching

public AbstractIntBranching()

Method Detail

explore

public boolean explore(int n)

Deprecated. replaced by the management incremental search (with a stack of BranchingTrace storing the environment (local variables) associated to each choice point

a method performing the exploration at the choice point level

Specified by:

explore in interface IntBranching

Parameters:

n - current depth in the search tree

Returns:

true iff the search was successful

goDownBranch

public void goDownBranch(java.lang.Object x,
                         int i)
                  throws ContradictionException

Description copied from interface: IntBranching

Performs the action, so that we go down a branch from the current choice point.

Specified by:

goDownBranch in interface IntBranching

Parameters:

x - the object on which the alternative is set

i - the label of the branch that we want to go down

Throws:

ContradictionException - if a domain empties or a contradiction is infered

goUpBranch

public void goUpBranch(java.lang.Object x,
                       int i)
                throws ContradictionException

Description copied from interface: IntBranching

Performs the action, so that we go up the current branch to the father choice point.

Specified by:

goUpBranch in interface IntBranching

Parameters:

x - the object on which the alternative has been set at the father choice point

i - the label of the branch that has been travelled down from the father choice point

Throws:

ContradictionException - if a domain empties or a contradiction is infered

logDownBranch

protected void logDownBranch(java.lang.Object x,
                             int i)

logUpBranch

protected void logUpBranch(java.lang.Object x,
                           int i)