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

Inherits Gecode::CpltSet::DomBddIterator.

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

List of all members.

---

Detailed Description

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

Iterator for the values in the least upper bound of a bdd variable implementation.

Definition at line 291 of file cpltset.icc.

Constructors and initialization
	LubValues (void)
	Default constructor.
	LubValues (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.
bool	operator() (void) const
	Check validity.
Public Member Functions
int	val (void) const
	Retrieves the current value.

---

Constructor & Destructor Documentation

Gecode::CpltSet::LubValues< CpltSetVarImp * >::LubValues

(

void

)

[inline]

Default constructor.

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

Definition at line 496 of file cpltset.icc.

Gecode::CpltSet::LubValues< CpltSetVarImp * >::LubValues

(

const CpltSetVarImp *

x

)

[inline]

Initialize with ranges for variable implementation x.

Definition at line 499 of file cpltset.icc.

---

Member Function Documentation

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

(

const CpltSetVarImp *

x

)

[inline]

Initialize with ranges for variable implementation x.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 508 of file cpltset.icc.

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

(

void

)

[inline]

Iterate to the next glb value.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 519 of file cpltset.icc.

bool Gecode::CpltSet::LubValues< CpltSetVarImp * >::operator()

(

void

)

const [inline]

Check validity.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 527 of file cpltset.icc.

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

(

void

)

const [inline]

Retrieves the current value.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 532 of file cpltset.icc.

---

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

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