view-val.hpp File Reference

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.

Classes