choco.kernel.solver.branch
Interface BranchingStrategy

All Known Subinterfaces:
IntBranching, ObjectBranching
All Known Implementing Classes:
AbstractAssignOrForbidBranching, AbstractBinIntBranching, AbstractBinIntBranchingStrategy, AbstractBranchingStrategy, AbstractDomOverWDegBinBranching, AbstractDomOverWDegBranching, AbstractIntBranching, AbstractIntBranchingStrategy, AbstractLargeIntBranching, AbstractLargeIntBranchingStrategy, AbstractSetBranchingStrategy, AssignInterval, AssignOrForbidIntVarVal, AssignOrForbidIntVarValPair, AssignSetVar, AssignVar, BranchingWithLoggingStatements, DomOverWDegBinBranching, DomOverWDegBinBranchingNew, DomOverWDegBranching, DomOverWDegBranchingNew, ImpactBasedBranching, NSPBranching, PackDynRemovals, SetTimes, TaskOverWDegBinBranching

public interface BranchingStrategy

Branching objects are responsible for controlling the execution of the program at a point where the control flow may be split between different branches


Field Summary
static Logger LOGGER
          an object for logging trace statements
 
Method Summary
 Object selectBranchingObject()
          selecting the object under scrutiny (that object on which an alternative will be set)
 

Field Detail

LOGGER

static final Logger LOGGER
an object for logging trace statements

Method Detail

selectBranchingObject

Object selectBranchingObject()
                             throws ContradictionException
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


Copyright © 2012. All Rights Reserved.