Gecode::CpltSet::Branch::ByMaxUnknown Class Reference
[CpltSet view selection for branching]

#include <branch.hh>

Detailed Description

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

Requires

 #include "gecode/set/branch.hh"

Definition at line 188 of file branch.hh.


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

ViewSelStatus Gecode::CpltSet::Branch::ByMaxUnknown::init	(	const Space *	,
		CpltSetView	x
	)			`[inline]`

Intialize with view x.

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

ViewSelStatus Gecode::CpltSet::Branch::ByMaxUnknown::select	(	const Space *	,
		CpltSetView	x
	)			`[inline]`

Possibly select better view x.

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

Support::Symbol Gecode::CpltSet::Branch::ByMaxUnknown::type ( void ) [inline, static]

Type of this view selection (for reflection).

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

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