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 |
LOGGER
static final Logger LOGGER
- an object for logging trace statements
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.