choco.cp.solver.search.integer.branching
Class AssignOrForbidIntVarValPair

java.lang.Object
  extended by choco.kernel.solver.branch.AbstractBranchingStrategy
      extended by choco.kernel.solver.branch.AbstractIntBranchingStrategy
          extended by choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
              extended by choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
                  extended by choco.cp.solver.search.integer.branching.AssignOrForbidIntVarValPair
All Implemented Interfaces:
BranchingStrategy, IntBranching

public class AssignOrForbidIntVarValPair
extends AbstractAssignOrForbidBranching


Field Summary
 VarValPairSelector pairSelector
           
 
Fields inherited from class choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
valSelector
 
Fields inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy
LOG_DECISION_MSG_ASSIGN, LOG_DECISION_MSG_REMOVE, LOG_DOWN_MSG, LOG_UP_MSG, manager
 
Fields inherited from interface choco.kernel.solver.branch.BranchingStrategy
LOGGER
 
Constructor Summary
AssignOrForbidIntVarValPair(VarValPairSelector pairSelector)
           
 
Method Summary
 String getDecisionLogMessage(IntBranchingDecision decision)
          The logging message associated with the current decision.
 void goDownBranch(IntBranchingDecision decision)
          Performs the action, so that we go down a branch from the current choice point.
 Object selectBranchingObject()
          selecting the object under scrutiny (that object on which an alternative will be set)
 void setFirstBranch(IntBranchingDecision decision)
          compute the first decision by setting a branching value or modifying the branching object
 
Methods inherited from class choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
finishedBranching, goUpBranch, setNextBranch
 
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy
getDefaultAssignMsg, getDefaultAssignOrForbidMsg
 
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy
getManager, getNextBranching, initBranching, initConstraintForBranching, setNextBranching, setSolver
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pairSelector

public final VarValPairSelector pairSelector
Constructor Detail

AssignOrForbidIntVarValPair

public AssignOrForbidIntVarValPair(VarValPairSelector pairSelector)
Method Detail

setFirstBranch

public void setFirstBranch(IntBranchingDecision decision)
Description copied from interface: IntBranching
compute the first decision by setting a branching value or modifying the branching object

Specified by:
setFirstBranch in interface IntBranching
Overrides:
setFirstBranch in class AbstractAssignOrForbidBranching

goDownBranch

public void goDownBranch(IntBranchingDecision decision)
                  throws ContradictionException
Description copied from interface: IntBranching
Performs the action, so that we go down a branch from the current choice point.

Parameters:
decision - the decision to apply.
Throws:
ContradictionException - if a domain empties or a contradiction is infered

selectBranchingObject

public Object selectBranchingObject()
                             throws ContradictionException
Description copied from interface: BranchingStrategy
selecting the object under scrutiny (that object on which an alternative will be set)

Returns:
the object on which an alternative will be set (often a variable)
Throws:
ContradictionException

getDecisionLogMessage

public String getDecisionLogMessage(IntBranchingDecision decision)
Description copied from interface: IntBranching
The logging message associated with the current decision.

Specified by:
getDecisionLogMessage in interface IntBranching
Overrides:
getDecisionLogMessage in class AbstractAssignOrForbidBranching
Parameters:
decision - current decision
Returns:
logging message.


Copyright © 2012. All Rights Reserved.