Gecode::Set::Branch::ByMaxCard Class Reference
[Set view selection for branching]

#include <branch.hh>

Detailed Description

View selection class for view with greatest cardinality of lub-glb.

Requires

 #include "gecode/set/branch.hh"

Definition at line 155 of file branch.hh.


Public Member Functions
ViewSelStatus	init (const Space *home, SetView x)
	Intialize with view x.
ViewSelStatus	select (const Space *home, SetView x)
	Possibly select better view x.
Static Public Member Functions
static Support::Symbol	type (void)
	Type of this view selection (for reflection).

ViewSelStatus Gecode::Set::Branch::ByMaxCard::init	(	const Space *	home,
		SetView	x
	)			`[inline]`

Intialize with view x.

Definition at line 80 of file select-view.icc.

ViewSelStatus Gecode::Set::Branch::ByMaxCard::select	(	const Space *	home,
		SetView	x
	)			`[inline]`

Possibly select better view x.

Definition at line 85 of file select-view.icc.

Support::Symbol Gecode::Set::Branch::ByMaxCard::type ( void ) [inline, static]

Type of this view selection (for reflection).

Definition at line 93 of file select-view.icc.

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