Integer branchers. More...
Classes | |
class | EqNGL |
No-good literal for equality. More... | |
class | GqNGL |
No-good literal for greater or equal. More... | |
class | LqNGL |
No-good literal for less or equal. More... | |
class | MeritActionSize |
Merit class for action over size. More... | |
class | MeritAFCSize |
Merit class for AFC over size. More... | |
class | MeritCHBSize |
Merit class for CHB over size. More... | |
class | MeritDegreeSize |
Merit class for degree over size. More... | |
class | MeritMax |
Merit class for maximum. More... | |
class | MeritMin |
Merit class for mimimum of integer views. More... | |
class | MeritRegretMax |
Merit class for maximum regret. More... | |
class | MeritRegretMin |
Merit class for minimum regret. More... | |
class | MeritSize |
Merit class for size. More... | |
class | NqNGL |
No-good literal for disequality. More... | |
class | PosValuesChoice |
Choice storing position and values for integer views More... | |
class | ValCommitEq |
Value commit class for equality. More... | |
class | ValCommitGq |
Value commit class for greater or equal. More... | |
class | ValCommitGr |
Value commit class for greater. More... | |
class | ValCommitLq |
Value commit class for less or equal. More... | |
class | ValSelAvg |
Value selection class for average of view. More... | |
class | ValSelMax |
Value selection class for maximum of view. More... | |
class | ValSelMed |
Value selection class for median of view. More... | |
class | ValSelMin |
Value selection class for mimimum of view. More... | |
class | ValSelRangeMax |
Value selection class for maximum range of integer view. More... | |
class | ValSelRangeMin |
Value selection class for minimum range of integer view. More... | |
class | ValSelRnd |
Value selection class for random value of view. More... | |
class | ViewValuesBrancher |
Brancher by view and values selection More... |
Functions | |
ViewSel< IntView > * | viewsel (Space &home, const IntVarBranch &ivb) |
Return view selectors for integer views. | |
ViewSel< BoolView > * | viewsel (Space &home, const BoolVarBranch &bvb) |
Return view selectors for Boolean views. | |
ValSelCommitBase< IntView, int > * | valselcommit (Space &home, const IntValBranch &ivb) |
Return value and commit for integer views. | |
ValSelCommitBase< BoolView, int > * | valselcommit (Space &home, const BoolValBranch &bvb) |
Return value and commit for Boolean views. | |
ValSelCommitBase< IntView, int > * | valselcommit (Space &home, const IntAssign &ia) |
Return value and commit for integer views. | |
ValSelCommitBase< BoolView, int > * | valselcommit (Space &home, const BoolAssign &ba) |
Return value and commit for Boolean views. | |
template<int n, bool min> | |
void | postviewvaluesbrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp) |
Post brancher for view and values. |
Integer branchers.
ViewSel< IntView > * Gecode::Int::Branch::viewsel | ( | Space & | home, |
const IntVarBranch & | ivb ) |
Return view selectors for integer views.
Definition at line 39 of file view-sel.cpp.
ViewSel< BoolView > * Gecode::Int::Branch::viewsel | ( | Space & | home, |
const BoolVarBranch & | bvb ) |
Return view selectors for Boolean views.
Definition at line 175 of file view-sel.cpp.
ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home, |
const IntValBranch & | ivb ) |
Return value and commit for integer views.
Definition at line 39 of file val-sel-commit.cpp.
ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home, |
const BoolValBranch & | bvb ) |
Return value and commit for Boolean views.
Definition at line 109 of file val-sel-commit.cpp.
ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home, |
const IntAssign & | ia ) |
Return value and commit for integer views.
Definition at line 81 of file val-sel-commit.cpp.
ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home, |
const BoolAssign & | ba ) |
Return value and commit for Boolean views.
Definition at line 134 of file val-sel-commit.cpp.
|
inline |
Post brancher for view and values.
Definition at line 191 of file view-values.hpp.