Integer value selection for brancher
[Other available functionality]
Classes | |
class | Gecode::Int::Branch::ValMin< View > |
Class for selecting minimum value. More... | |
class | Gecode::Int::Branch::ValMed< View > |
Class for selecting median value. More... | |
class | Gecode::Int::Branch::ValRnd< _View > |
Class for random value selection. More... | |
class | Gecode::Int::Branch::ValSplitMin< View > |
Class for splitting domain at mean of smallest and largest element (lower half first). More... | |
class | Gecode::Int::Branch::ValRangeMin< View > |
Class for trying the first range of a domain first or splitting domain at mean of smallest and largest element (lower half first). More... | |
class | Gecode::Int::Branch::ValZeroOne< View > |
Class for trying zero and then one. More... | |
class | Gecode::Set::Branch::ValRnd< inc > |
Class for random value selection. More... |
Detailed Description
Contains a description of value selection strategies on integer views that can be used together with the generic view/value brancher class Gecode::ViewValBrancher (argument ValSel).
All value selection classes require
#include <gecode/int/branch.hh>