Gecode::Set::Branch::ByMaxMax Class Reference
[Set view selection for brancher]

View selection class for view with largest maximal element in lub-glb. More...

#include <branch.hh>

Public Member Functions
	ByMaxMax (void)
	Default constructor.
	ByMaxMax (Space &home, const VarBranchOptions &vbo)
	Constructor for initialization.
ViewSelStatus	init (Space &home, SetView x)
	Intialize with view x.
ViewSelStatus	select (Space &home, SetView x)
	Possibly select better view x.

Detailed Description

View selection class for view with largest maximal element in lub-glb.

Requires

 #include <gecode/set/branch.hh>

Definition at line 285 of file branch.hh.

Gecode::Set::Branch::ByMaxMax::ByMaxMax ( void ) [inline]

Default constructor.

Definition at line 169 of file select-view.hpp.

Gecode::Set::Branch::ByMaxMax::ByMaxMax	(	Space &	home,
		const VarBranchOptions &	vbo
	)			`[inline]`

Constructor for initialization.

Definition at line 171 of file select-view.hpp.

ViewSelStatus Gecode::Set::Branch::ByMaxMax::init	(	Space &	home,
		SetView	x
	)			`[inline]`

Intialize with view x.

Definition at line 174 of file select-view.hpp.

ViewSelStatus Gecode::Set::Branch::ByMaxMax::select	(	Space &	home,
		SetView	x
	)			`[inline]`

Possibly select better view x.

Definition at line 180 of file select-view.hpp.

The documentation for this class was generated from the following files: