post-val.hpp File Reference
(Revision: 11371)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Set |
Finite integer sets. | |
namespace | Gecode::Set::Branch |
Set branchings | |
Functions | |
template<class SelView > | |
void | Gecode::Set::Branch::post (Space &home, ViewArray< SetView > &x, SelView &v, SetValBranch vals, const ValBranchOptions &o_vals, BranchFilter bf) |
Post brancher according to v and vals. |