Generated on Mon May 10 06:46:55 2010 for Gecode by doxygen 1.6.3

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

Base-class for derived views. More...

#include <view.hpp>

List of all members.

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.

Generic view information



static bool varderived (void)
 Return whether this view is derived from a VarViewBase.
VarImpvar (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).
double afc (void) const
 Return accumulated failure count (plus degree).

Detailed Description

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

Base-class for derived views.

Definition at line 136 of file view.hpp.


Member Typedef Documentation

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

The variable type belonging to the View.

Definition at line 147 of file view.hpp.


Constructor & Destructor Documentation

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

Default constructor.

Definition at line 364 of file view.hpp.

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

Initialize with view x.

Definition at line 368 of file view.hpp.


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 373 of file view.hpp.

template<class View >
ViewVarImpTraits< View >::VarImp * Gecode::DerivedViewBase< View >::var ( void   )  const [inline]

Return variable implementation of view.

Definition at line 379 of file view.hpp.

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

Return view from which this view is derived.

Definition at line 385 of file view.hpp.

template<class View >
unsigned int Gecode::DerivedViewBase< View >::degree ( void   )  const [inline]

Return degree (number of subscribed propagators).

Definition at line 391 of file view.hpp.

template<class View >
double Gecode::DerivedViewBase< View >::afc ( void   )  const [inline]

Return accumulated failure count (plus degree).

Definition at line 396 of file view.hpp.


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.hpp.


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