Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15
Generic brancher based on view and value selection

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
 

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...
 

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. More...
 

Detailed Description

Implements view-based brancher for an array of views and value.

Function Documentation

◆ postviewvalbrancher()

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 354 of file brancher-view-val.hpp.