choco.kernel.solver.branch
Class AbstractBranchingStrategy

java.lang.Object
  extended by choco.kernel.solver.branch.AbstractBranchingStrategy
All Implemented Interfaces:
BranchingStrategy
Direct Known Subclasses:
AbstractIntBranchingStrategy

public abstract class AbstractBranchingStrategy
extends Object
implements BranchingStrategy


Field Summary
static String LOG_DECISION_MSG_ASSIGN
           
static String LOG_DECISION_MSG_REMOVE
           
static String LOG_DOWN_MSG
           
static String LOG_UP_MSG
           
protected  AbstractGlobalSearchStrategy manager
          the main control object (responsible for the whole exploration, while Eqthe branching object is responsible only at the choice point level
 
Fields inherited from interface choco.kernel.solver.branch.BranchingStrategy
LOGGER
 
Constructor Summary
AbstractBranchingStrategy()
           
 
Method Summary
 AbstractGlobalSearchStrategy getManager()
           
 AbstractBranchingStrategy getNextBranching()
          Gets the next branching.
 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.
 void setNextBranching(AbstractBranchingStrategy nextBranching)
          Sets the next branching.
 void setSolver(AbstractGlobalSearchStrategy s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.branch.BranchingStrategy
selectBranchingObject
 

Field Detail

manager

protected AbstractGlobalSearchStrategy manager
the main control object (responsible for the whole exploration, while Eqthe branching object is responsible only at the choice point level


LOG_DOWN_MSG

public static final String LOG_DOWN_MSG
See Also:
Constant Field Values

LOG_UP_MSG

public static final String LOG_UP_MSG
See Also:
Constant Field Values

LOG_DECISION_MSG_ASSIGN

public static final String LOG_DECISION_MSG_ASSIGN
See Also:
Constant Field Values

LOG_DECISION_MSG_REMOVE

public static final String LOG_DECISION_MSG_REMOVE
See Also:
Constant Field Values
Constructor Detail

AbstractBranchingStrategy

public AbstractBranchingStrategy()
Method Detail

setSolver

public void setSolver(AbstractGlobalSearchStrategy s)

getManager

public AbstractGlobalSearchStrategy getManager()

getNextBranching

public final AbstractBranchingStrategy getNextBranching()
Gets the next branching.

Returns:
the next branching

setNextBranching

public final void setNextBranching(AbstractBranchingStrategy nextBranching)
Sets the next branching.

Parameters:
nextBranching - the next branching

initBranching

public void initBranching()
This method is called before launching the search. it may be used to intialiaze data structures or counters for instance.


initConstraintForBranching

public void initConstraintForBranching(SConstraint c)
this method is used to build the data structure in the branching for the given constraint. This is used when the constraint was not present at the initialization of the branching, for example a cut

Parameters:
c - constraint


Copyright © 2012. All Rights Reserved.