Generic brancher based on view and value selection
[Programming actors]
Classes | |
class | Gecode::PosValChoice< Val > |
Choice storing position and value More... | |
class | Gecode::ViewValNGL< View, Val, pc > |
View-value no-good literal. More... | |
class | Gecode::ViewValBrancher< View, n, Val, a, Filter, Print > |
Generic brancher by view and value selection. More... | |
Modules | |
Generic merit for branchers based on view and value selection | |
Generic value commit for brancher based on view and value selection | |
Generic value selection and value commit for brancher based on view and value selection | |
Generic value selection for brancher based on view and value selection | |
Generic view selection for brancher based on view and value selection | |
Functions | |
template<class View , int n, class Val , unsigned int a> | |
void | Gecode::postviewvalbrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, BranchFilter< typename View::VarType > bf, VarValPrint< typename View::VarType, Val > vvp) |
Post view value brancher. |
Detailed Description
Implements view-based brancher for an array of views and value.
Function Documentation
template<class View , int n, class Val , unsigned int a>
void Gecode::postviewvalbrancher | ( | Home | home, | |
ViewArray< View > & | x, | |||
ViewSel< View > * | vs[n], | |||
ValSelCommitBase< View, Val > * | vsc, | |||
BranchFilter< typename View::VarType > | bf, | |||
VarValPrint< typename View::VarType, Val > | vvp | |||
) | [inline] |
Post view value brancher.
Definition at line 341 of file view-val.hpp.