#include <gecode/int/branch.hh>
Go to the source code of this file.
Namespaces | |
Gecode | |
Gecode toplevel namespace | |
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... | |