Generated on Tue Mar 24 2020 14:04:04 for Gecode by doxygen 1.8.17
view-val.hpp File Reference

Go to the source code of this file.

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

Namespaces

 Gecode
 Gecode toplevel namespace
 

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