|
ViewSel< IntView > * | Gecode::Int::Branch::viewselint (Space &home, const IntVarBranch &ivb) |
| Return view selectors for integer views. More...
|
|
ViewSel< BoolView > * | Gecode::Int::Branch::viewselbool (Space &home, const IntVarBranch &ivb) |
| Return view selectors for Boolean views. More...
|
|
ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommitint (Space &home, int n, const IntValBranch &ivb) |
| Return value and commit for integer views. More...
|
|
ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommitbool (Space &home, int n, const IntValBranch &ivb) |
| Return value and commit for Boolean views. More...
|
|
ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommitint (Space &home, const IntAssign &ia) |
| Return value and commit for integer views. More...
|
|
ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommitbool (Space &home, const IntAssign &ia) |
| Return value and commit for Boolean views. More...
|
|