|
| 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.
|
| |