choco.search
Class AbstractBinIntBranching

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

All Implemented Interfaces:

Branching, IntBranching

public abstract class AbstractBinIntBranching
extends AbstractIntBranching

Field Summary

Fields inherited from class choco.branch.AbstractBranching

LOG_DECISION_MSG, LOG_DOWN_MSG, LOG_UP_MSG, logger, manager, nextBranching

Constructor Summary

AbstractBinIntBranching()

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
boolean	finishedBranching(java.lang.Object x, int i) Checks whether all branches have already been explored at the current choice point.
int	getFirstBranch(java.lang.Object x) Computes the search index of the first branch of the choice point.
int	getNextBranch(java.lang.Object x, int i) Computes the search index of the next branch of the choice point.

Methods inherited from class choco.search.AbstractIntBranching

goDownBranch, goUpBranch, logDownBranch, logUpBranch

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

Methods inherited from interface choco.branch.Branching

selectBranchingObject

Constructor Detail

AbstractBinIntBranching

public AbstractBinIntBranching()

Method Detail

getFirstBranch

public int getFirstBranch(java.lang.Object x)

Description copied from interface: IntBranching

Computes the search index of the first branch of the choice point.

Parameters:

x - the object on which the alternative is set

Returns:

the index of the first branch

getNextBranch

public int getNextBranch(java.lang.Object x,
                         int i)

Description copied from interface: IntBranching

Computes the search index of the next branch of the choice point.

Parameters:

x - the object on which the alternative is set

i - the index of the current branch

Returns:

the index of the next branch

finishedBranching

public boolean finishedBranching(java.lang.Object x,
                                 int i)

Description copied from interface: IntBranching

Checks whether all branches have already been explored at the current choice point.

Parameters:

x - the object on which the alternative is set

i - the index of the last branch

Returns:

true if no more branches can be generated

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

Description copied from class: AbstractIntBranching

a method performing the exploration at the choice point level

Specified by:

explore in interface IntBranching

Overrides:

explore in class AbstractIntBranching

Parameters:

n - current depth in the search tree

Returns:

true iff the search was successful