|
ViewSel< IntView > * | Gecode::Int::Branch::viewsel (Space &home, const IntVarBranch &ivb) |
| Return view selectors for integer views.
|
ViewSel< BoolView > * | Gecode::Int::Branch::viewsel (Space &home, const BoolVarBranch &bvb) |
| Return view selectors for Boolean views.
|
ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const IntValBranch &ivb) |
| Return value and commit for integer views.
|
ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const BoolValBranch &bvb) |
| Return value and commit for Boolean views.
|
ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const IntAssign &ia) |
| Return value and commit for integer views.
|
ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const BoolAssign &ba) |
| Return value and commit for Boolean views.
|
template<int n, bool min> |
void | Gecode::Int::Branch::postviewvaluesbrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp) |
| Post brancher for view and values.
|