Generic value commit for brancher based on view and value selection
[Generic brancher based on view and value selection]

Classes
class	Gecode::ValCommit< _View, _Val >
	Base class for value commit. More...
class	Gecode::ValCommitFunction< View >
	Class for user-defined value commit. More...