choco.cp.solver.search.set
Class AssignSetVar

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.kernel.solver.search.set.AbstractSetBranchingStrategy
                  extended by choco.cp.solver.search.set.AssignSetVar
All Implemented Interfaces:
BranchingStrategy, IntBranching

public class AssignSetVar
extends AbstractSetBranchingStrategy


Field Summary
protected  ValSelector<SetVar> valselector
           
protected  VarSelector<SetVar> varselector
           
 
Fields inherited from class choco.kernel.solver.search.set.AbstractSetBranchingStrategy
LOG_DECISION_MSG
 
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
AssignSetVar(VarSelector<SetVar> varselect, ValSelector<SetVar> valselect)
           
 
Method Summary
 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.search.set.AbstractSetBranchingStrategy
getDecisionLogMessage, goDownBranch
 
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

varselector

protected VarSelector<SetVar> varselector

valselector

protected ValSelector<SetVar> valselector
Constructor Detail

AssignSetVar

public AssignSetVar(VarSelector<SetVar> varselect,
                    ValSelector<SetVar> valselect)
Method Detail

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

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



Copyright © 2012. All Rights Reserved.