Gecode::CpltSet::GlbValues< CpltSetVarImp * > Class Template Reference

Inherits Gecode::CpltSet::DomBddIterator.

Inherited by Gecode::CpltSet::GlbValues< CpltSetView >.

List of all members.

---

Detailed Description

template<>
class Gecode::CpltSet::GlbValues< CpltSetVarImp * >

Iterator for the values in the greatest lower bound of a bdd variable implementation.

Definition at line 267 of file cpltset.icc.

Constructors and initialization
	GlbValues (void)
	Default constructor.
	GlbValues (const CpltSetVarImp *x)
	Initialize with ranges for variable implementation x.
void	init (const CpltSetVarImp *x)
	Initialize with ranges for variable implementation x.
Iteration control
void	operator++ (void)
	Iterate to the next glb value.
Public Member Functions
int	val (void) const
	Retrieves the current value.

---

Constructor & Destructor Documentation

Gecode::CpltSet::GlbValues< CpltSetVarImp * >::GlbValues

(

void

)

[inline]

Default constructor.

Reimplemented in Gecode::CpltSet::GlbValues< CpltSetView >.

Definition at line 460 of file cpltset.icc.

Gecode::CpltSet::GlbValues< CpltSetVarImp * >::GlbValues

(

const CpltSetVarImp *

x

)

[inline]

Initialize with ranges for variable implementation x.

Definition at line 463 of file cpltset.icc.

---

Member Function Documentation

void Gecode::CpltSet::GlbValues< CpltSetVarImp * >::init

(

const CpltSetVarImp *

x

)

[inline]

Initialize with ranges for variable implementation x.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 473 of file cpltset.icc.

void Gecode::CpltSet::GlbValues< CpltSetVarImp * >::operator++

(

void

)

[inline]

Iterate to the next glb value.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 483 of file cpltset.icc.

int Gecode::CpltSet::GlbValues< CpltSetVarImp * >::val

(

void

)

const [inline]

Retrieves the current value.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 491 of file cpltset.icc.

---

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

• gecode/cpltset/var-imp/cpltset.icc (Revision: 6102)