Gecode::VarImpVar< VarImp > Class Template Reference

Variables as interfaces to variable implementations. More...

#include <var.hpp>

Public Types
typedef VarImp	VarImpType
	The variable implementation type corresponding to the variable. More...

Protected Member Functions
	VarImpVar (void)
	Default constructor. More...
	VarImpVar (VarImp *y)
	Initialize with variable implementation y. More...

Protected Attributes
VarImp *	x
	Pointer to variable implementation. More...

Generic variable information
VarImp *	varimp (void) const
	Return variable implementation of variable. More...
unsigned int	degree (void) const
	Return degree (number of subscribed propagators and advisors) More...
double	afc (const Space &home) const
	Return accumulated failure count. More...

Domain tests
bool	assigned (void) const
	Test whether view is assigned. More...

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

Variable comparison
bool	same (const VarImpVar< VarImp > &y) const
	Test whether variable is the same as y. More...
bool	before (const VarImpVar< VarImp > &y) const
	Test whether variable comes before y (arbitrary order) More...

Detailed Description

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

Variables as interfaces to variable implementations.

Definition at line 51 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 61 of file var.hpp.

Constructor & Destructor Documentation

template<class VarImp >

Gecode::VarImpVar< VarImp >::VarImpVar ( void  )

inlineprotected

Default constructor.

Definition at line 100 of file var.hpp.

template<class VarImp>

Gecode::VarImpVar< VarImp >::VarImpVar ( VarImp *  y )

inlineprotected

Initialize with variable implementation y.

Definition at line 104 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 108 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 113 of file var.hpp.

template<class VarImp >

double Gecode::VarImpVar< VarImp >::afc ( const Space &  home ) const

inline

Return accumulated failure count.

Definition at line 118 of file var.hpp.

template<class VarImp >

bool Gecode::VarImpVar< VarImp >::assigned ( void  ) const

inline

Test whether view is assigned.

Definition at line 123 of file var.hpp.

template<class VarImp>

void Gecode::VarImpVar< VarImp >::update ( Space &  home, bool  share, VarImpVar< VarImp > &  y  )

inline

Update this variable to be a clone of variable y.

Definition at line 128 of file var.hpp.

template<class VarImp>

bool Gecode::VarImpVar< VarImp >::same ( const VarImpVar< VarImp > &  y ) const

inline

Test whether variable is the same as y.

Definition at line 133 of file var.hpp.

template<class VarImp>

bool Gecode::VarImpVar< VarImp >::before ( const VarImpVar< VarImp > &  y ) const

inline

Test whether variable comes before y (arbitrary order)

Definition at line 138 of file var.hpp.

Member Data Documentation

template<class VarImp>

VarImp* Gecode::VarImpVar< VarImp >::x

protected

Pointer to variable implementation.

Definition at line 54 of file var.hpp.

---

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

• gecode/kernel/var.hpp (Revision: 13310)