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

Base-class for variables. More...

#include <var.hpp>

List of all members.

Protected Member Functions
	VarBase (void)
	Default constructor.
	VarBase (VarImp *x)
	Initialize with variable implementation x.
Protected Attributes
VarImp *	varimp
	Pointer to variable implementation.
Generic variable information
VarImp *	var (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 (plus degree).
Variable comparison
bool	same (const VarBase< VarImp > &y) const
	Test whether view is the same as y.
bool	before (const VarBase< VarImp > &y) const
	Test whether view comes before y (arbitrary order).

---

Detailed Description

template<class VarImp>
class Gecode::VarBase< VarImp >

Base-class for variables.

Definition at line 45 of file var.hpp.

---

Constructor & Destructor Documentation

template<class VarImp >

Gecode::VarBase< VarImp >::VarBase

(

void

)

[inline, protected]

Default constructor.

Definition at line 79 of file var.hpp.

template<class VarImp>

Gecode::VarBase< VarImp >::VarBase

(

VarImp *

x

)

[inline, protected]

Initialize with variable implementation x.

Definition at line 83 of file var.hpp.

---

Member Function Documentation

template<class VarImp >

VarImp * Gecode::VarBase< VarImp >::var

(

void

)

const [inline]

Return variable implementation of variable.

Definition at line 87 of file var.hpp.

template<class VarImp >

unsigned int Gecode::VarBase< VarImp >::degree

(

void

)

const [inline]

Return degree (number of subscribed propagators and advisors).

Definition at line 92 of file var.hpp.

template<class VarImp >

double Gecode::VarBase< VarImp >::afc

(

void

)

const [inline]

Return accumulated failure count (plus degree).

Definition at line 97 of file var.hpp.

template<class VarImp>

bool Gecode::VarBase< VarImp >::same

(

const VarBase< VarImp > &

y

)

const [inline]

Test whether view is the same as y.

Definition at line 102 of file var.hpp.

template<class VarImp>

bool Gecode::VarBase< VarImp >::before

(

const VarBase< VarImp > &

y

)

const [inline]

Test whether view comes before y (arbitrary order).

Definition at line 107 of file var.hpp.

---

Member Data Documentation

template<class VarImp>

VarImp* Gecode::VarBase< VarImp >::varimp [protected]

Pointer to variable implementation.

Definition at line 48 of file var.hpp.

---

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

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