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.
Public Member Functions inherited from Gecode::ViewSelBase< SetView >
	ViewSelBase (void)
	Default constructor.
	ViewSelBase (Space &home, const VarBranchOptions &vbo)
	Constructor for initialization.
EmptyViewSelChoice	choice (Space &home)
	Return choice.
EmptyViewSelChoice	choice (const Space &home, Archive &e)
	Return choice.
void	commit (Space &home, const EmptyViewSelChoice &c, unsigned a)
	Commit to choice.
void	update (Space &home, bool share, ViewSelBase &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete view selection.

Additional Inherited Members
Public Types inherited from Gecode::ViewSelBase< SetView >
typedef SetView	View
	View type.
typedef EmptyViewSelChoice	Choice
	View selection choice.

Detailed Description

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

Requires

Definition at line 285 of file branch.hh.

Constructor & Destructor Documentation

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: