Gecode::DerivedViewBase< View > Class Template Reference
[Programming views for variables]

Inherited by Gecode::Int::GCC::CardView, Gecode::Int::MinusView, Gecode::Int::NegBoolView, Gecode::Int::OffsetView, Gecode::Int::ScaleView< Val, UnsVal >, Gecode::Set::ComplementView< View >, and Gecode::Set::OffsetSetView< View >.

List of all members.

---

Detailed Description

template<class View>
class Gecode::DerivedViewBase< View >

Base-class for derived views.

Definition at line 132 of file view.icc.

Generic view information
static bool	varderived (void)
	Return whether this view is derived from a VarViewBase.
VarImp *	var (void) const
	Return variable implementation of view.
View	base (void) const
	Return view from which this view is derived.
unsigned int	degree (void) const
	Return degree (number of subscribed propagators).
Public Types
typedef ViewVarImpTraits< View > ::VarImp	VarImp
	The variable type belonging to the View.
Protected Member Functions
	DerivedViewBase (void)
	Default constructor.
	DerivedViewBase (const View &x)
	Initialize with view x.
Protected Attributes
View	view
	View from which this view is derived.

---

Member Typedef Documentation

template<class View>

typedef ViewVarImpTraits<View>::VarImp Gecode::DerivedViewBase< View >::VarImp

The variable type belonging to the View.

Definition at line 143 of file view.icc.

---

Constructor & Destructor Documentation

template<class View>

Gecode::DerivedViewBase< View >::DerivedViewBase

(

void

)

[inline, protected]

Default constructor.

Definition at line 317 of file view.icc.

template<class View>

Gecode::DerivedViewBase< View >::DerivedViewBase

(

const View &

x

)

[inline, protected]

Initialize with view x.

Definition at line 321 of file view.icc.

---

Member Function Documentation

template<class View>

bool Gecode::DerivedViewBase< View >::varderived

(

void

)

[inline, static]

Return whether this view is derived from a VarViewBase.

Definition at line 326 of file view.icc.

template<class View>

ViewVarImpTraits< View >::VarImp * Gecode::DerivedViewBase< View >::var

(

void

)

const [inline]

Return variable implementation of view.

Definition at line 332 of file view.icc.

template<class View>

View Gecode::DerivedViewBase< View >::base

(

void

)

const [inline]

Return view from which this view is derived.

Definition at line 338 of file view.icc.

template<class View>

unsigned int Gecode::DerivedViewBase< View >::degree

(

void

)

const [inline]

Return degree (number of subscribed propagators).

Definition at line 344 of file view.icc.

---

Member Data Documentation

template<class View>

View Gecode::DerivedViewBase< View >::view [protected]

View from which this view is derived.

Definition at line 135 of file view.icc.

---

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

• gecode/kernel/view.icc (Revision: 7290)