Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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

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