post-val-int.hpp File Reference
(Revision: 9975)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Int |
| namespace | Gecode::Int::Branch |
Functions | |
| template<class SelView> | |
| void | Gecode::Int::Branch::post (Space &home, ViewArray< IntView > &x, SelView &v, IntValBranch vals, const ValBranchOptions &o_vals) |
| Post brancher according to v and vals. | |