Generated on Fri Oct 19 11:25:52 2018 for Gecode by doxygen 1.6.3

Gecode::VarImpVar< VarImp > Class Template Reference
[Programming views for variables]

Variables as interfaces to variable implementations. More...

#include <var.hpp>

List of all members.

Public Types

typedef VarImp VarImpType
 The variable implementation type corresponding to the variable.

Protected Member Functions

 VarImpVar (void)
 Default constructor.
 VarImpVar (VarImp *y)
 Initialize with variable implementation y.

Protected Attributes

VarImpx
 Pointer to variable implementation.

Generic variable information



VarImpvarimp (void) const
 Return variable implementation of variable.
unsigned int degree (void) const
 Return degree (number of subscribed propagators and advisors).
double afc (void) const
 Return accumulated failure count.

Domain tests



bool assigned (void) const
 Test whether view is assigned.

Cloning



void update (Space &home, VarImpVar< VarImp > &y)
 Update this variable to be a clone of variable y.

Detailed Description

template<class VarImp>
class Gecode::VarImpVar< VarImp >

Variables as interfaces to variable implementations.

Definition at line 47 of file var.hpp.


Member Typedef Documentation

template<class VarImp>
typedef VarImp Gecode::VarImpVar< VarImp >::VarImpType

The variable implementation type corresponding to the variable.

Definition at line 57 of file var.hpp.


Constructor & Destructor Documentation

template<class VarImp >
Gecode::VarImpVar< VarImp >::VarImpVar ( void   )  [inline, protected]

Default constructor.

Definition at line 88 of file var.hpp.

template<class VarImp>
Gecode::VarImpVar< VarImp >::VarImpVar ( VarImp y  )  [inline, protected]

Initialize with variable implementation y.

Definition at line 92 of file var.hpp.


Member Function Documentation

template<class VarImp >
VarImp * Gecode::VarImpVar< VarImp >::varimp ( void   )  const [inline]

Return variable implementation of variable.

Definition at line 96 of file var.hpp.

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

Return degree (number of subscribed propagators and advisors).

Definition at line 101 of file var.hpp.

template<class VarImp >
double Gecode::VarImpVar< VarImp >::afc ( void   )  const [inline]

Return accumulated failure count.

Definition at line 106 of file var.hpp.

template<class VarImp >
bool Gecode::VarImpVar< VarImp >::assigned ( void   )  const [inline]

Test whether view is assigned.

Definition at line 111 of file var.hpp.

template<class VarImp>
void Gecode::VarImpVar< VarImp >::update ( Space home,
VarImpVar< VarImp > &  y 
) [inline]

Update this variable to be a clone of variable y.

Definition at line 116 of file var.hpp.


Member Data Documentation

template<class VarImp>
VarImp* Gecode::VarImpVar< VarImp >::x [protected]

Pointer to variable implementation.

Definition at line 50 of file var.hpp.


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