Generated on Sun Feb 17 15:24:48 2019 for Gecode by doxygen 1.6.3

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.