Gecode::DerivedViewBase< View > Class Template Reference
[Programming views for variables]
Base-class for derived views. More...
#include <view.hpp>
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. | |
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). | |
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 |
Constructor & Destructor Documentation
template<class View >
Gecode::DerivedViewBase< View >::DerivedViewBase | ( | void | ) | [inline, protected] |
template<class View>
Gecode::DerivedViewBase< View >::DerivedViewBase | ( | const View & | x | ) | [inline, protected] |
Member Function Documentation
template<class View >
bool Gecode::DerivedViewBase< View >::varderived | ( | void | ) | [inline, static] |
Return whether this view is derived from a VarViewBase.
template<class View >
ViewVarImpTraits< View >::VarImp * Gecode::DerivedViewBase< View >::var | ( | void | ) | const [inline] |
template<class View >
View Gecode::DerivedViewBase< View >::base | ( | void | ) | const [inline] |
template<class View >
unsigned int Gecode::DerivedViewBase< View >::degree | ( | void | ) | const [inline] |
template<class View >
double Gecode::DerivedViewBase< View >::afc | ( | void | ) | const [inline] |
Member Data Documentation
template<class View>
View Gecode::DerivedViewBase< View >::view [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/view.hpp (Revision: 10046)