
#include <gecode/int/branch.hh>Go to the source code of this file.
Namespaces | |
| Gecode::Int | |
| Finite domain integers. | |
| Gecode::Int::Branch | |
| Integer branchers. | |
Functions | |
| ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const IntValBranch &ivb) |
| Return value and commit for integer views. More... | |
| ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const IntAssign &ia) |
| Return value and commit for integer views. More... | |
| ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const BoolValBranch &bvb) |
| Return value and commit for Boolean views. More... | |
| ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const BoolAssign &ba) |
| Return value and commit for Boolean views. More... | |