Generated on Tue Apr 18 10:22:38 2017 for Gecode by doxygen 1.6.3

brancher-view-val.hpp File Reference

(Revision: 15623)

Go to the source code of this file.


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


namespace  Gecode

Gecode toplevel namespace


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.