
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.