Generated on Thu Jul 6 07:06:59 2006 for Gecode by doxygen 1.4.7

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 130 of file view.icc.

Generic view information

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).
static bool varderived (void)
 Return whether this view is derived from a VariableViewBase.

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 141 of file view.icc.


Constructor & Destructor Documentation

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

Default constructor.

Definition at line 392 of file view.icc.

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

Initialize with view x.

Definition at line 396 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 401 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 407 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 413 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 419 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 425 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 133 of file view.icc.


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