post-val-bool.hpp File Reference
(Revision: 11371)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Int |
Finite domain integers. | |
namespace | Gecode::Int::Branch |
Integer branchers. | |
Functions | |
template<class SelView > | |
void | Gecode::Int::Branch::post (Space &home, ViewArray< BoolView > &x, SelView &v, IntValBranch vals, const ValBranchOptions &o_vals, BranchFilter bf) |
Post brancher according to v and vals. |