Generated on Sat Nov 11 01:12:19 2006 for Gecode by doxygen 1.5.1

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 >, and Gecode::Set::ComplementView< View >.

List of all members.


Detailed Description

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

Base-class for derived views.

Definition at line 136 of file view.icc.

Generic view information

static bool varderived (void)
 Return whether this view is derived from a VariableViewBase.
Varvariable (void) const
 Return variable implementation of view.
View base (void) const
 Return view from which this view is derived.
bool modified (void) const
 Test whether view been modified during propagation.
unsigned int degree (void) const
 Return degree (number of subscribed propagators).

Public Types

typedef ViewVarTraits< View
>::Var 
Var
 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 ViewVarTraits<View>::Var Gecode::DerivedViewBase< View >::Var

The variable type belonging to the View.

Definition at line 147 of file view.icc.


Constructor & Destructor Documentation

template<class View>
Gecode::DerivedViewBase< View >::DerivedViewBase ( void   )  [inline, protected]

Default constructor.

Definition at line 405 of file view.icc.

template<class View>
Gecode::DerivedViewBase< View >::DerivedViewBase ( const View &  x  )  [inline, protected]

Initialize with view x.

Definition at line 409 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 VariableViewBase.

Definition at line 414 of file view.icc.

template<class View>
ViewVarTraits< View >::Var * Gecode::DerivedViewBase< View >::variable ( void   )  const [inline]

Return variable implementation of view.

Definition at line 420 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 426 of file view.icc.

template<class View>
bool Gecode::DerivedViewBase< View >::modified ( void   )  const [inline]

Test whether view been modified during propagation.

Definition at line 432 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 438 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 139 of file view.icc.


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