Generic view tie-breaking for brancher based on view and value selection
[Generic brancher based on view and value selection]

Classes
class	Gecode::ViewSelTieBreakStatic< A, B >
	View selection class for static tie breaking. More...
class	Gecode::ChoiceVirtualBase
	Virtualized choice baseclass. More...
class	Gecode::ViewSelVirtualBase< View >
	Virtualized view selection base class. More...
class	Gecode::ChoiceVirtual< Choice >
	Virtualized choice. More...
class	Gecode::ViewSelVirtual< ViewSel >
	Virtualized view selection. More...
class	Gecode::ViewSelTieBreakDynamic< _View >
	View selection class for dynamic tie breaking. More...