Generated on Wed Nov 1 15:05:14 2006 for Gecode by doxygen 1.4.5

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

Inherited by 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

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 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: