Generic brancher based on view and value selection
[Programming actors]

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

Detailed Description

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

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