choco.search
Class AbstractLargeIntBranching

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

All Implemented Interfaces:

Branching, IntBranching

Direct Known Subclasses:

AssignVar

public abstract class AbstractLargeIntBranching
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

AbstractLargeIntBranching()

Method Summary

boolean

branchOn(java.lang.Object x, int n) Deprecated. replaced by the management incremental search (with a stack of BranchingTrace storing the environment (local variables) associated to each choice point

Methods inherited from class choco.search.AbstractIntBranching

explore, 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

finishedBranching, getFirstBranch, getNextBranch

Methods inherited from interface choco.branch.Branching

selectBranchingObject

Constructor Detail

AbstractLargeIntBranching

public AbstractLargeIntBranching()

Method Detail

branchOn

public boolean branchOn(java.lang.Object x,
                        int n)
                 throws ContradictionException

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 interface: IntBranching

A method exploring the i-th branch of choice point.

Parameters:

x - the current branching object

n - the index of the branch

Returns:

true if the subtree below that branch lead to a solution or not

Throws:

ContradictionException - if a domain empties or a contradiction is infered