Generated on Mon Aug 25 11:35:49 2008 for Gecode by doxygen 1.5.6
Gecode::CpltSet::DomBddIterator

Gecode::CpltSet::DomBddIterator Class Reference

Inherits Gecode::CpltSet::BddIterator.

Inherited by Gecode::CpltSet::GlbValues< CpltSetVarImp * >, Gecode::CpltSet::LubValues< CpltSetVarImp * >, and Gecode::CpltSet::UnknownValues< CpltSetVarImp * >.

List of all members.

Detailed Description

Iterator for level-wise iteration of a variable domain.

Definition at line 434 of file var-imp.icc.


Constructors and initialization

 DomBddIterator (void)
 DomBddIterator (const CpltSetVarImp *x)
 DomBddIterator (const CpltSetVarImp *x, bdd &remain)
void init (const CpltSetVarImp *x)
void init (const CpltSetVarImp *x, bdd &remain)

Iteration control

bool operator() (void) const
 Test whether iterator is still valid or done.
void operator++ (void)
 Move iterator to next level in the bdd.

Status information

NodeStatus status (void) const
 Retrieves the status of the current level.
int val (void) const
 Retrieves the current value.

Protected Member Functions

bool same (void) const
 tests whether vector_level and bdd_level are equal

Constructor & Destructor Documentation

Gecode::CpltSet::DomBddIterator::DomBddIterator ( void   )  [inline]

Definition at line 410 of file cpltset.icc.

Gecode::CpltSet::DomBddIterator::DomBddIterator ( const CpltSetVarImp *  x  )  [inline]

Definition at line 413 of file cpltset.icc.

Gecode::CpltSet::DomBddIterator::DomBddIterator ( const CpltSetVarImp *  x,
bdd &  remain 
) [inline]

Definition at line 419 of file cpltset.icc.

Member Function Documentation

bool Gecode::CpltSet::DomBddIterator::same ( void   )  const [inline, protected]

tests whether vector_level and bdd_level are equal

Definition at line 433 of file cpltset.icc.

void Gecode::CpltSet::DomBddIterator::init ( const CpltSetVarImp *  x  )  [inline]

Reimplemented in Gecode::CpltSet::GlbValues< CpltSetVarImp * >, Gecode::CpltSet::LubValues< CpltSetVarImp * >, and Gecode::CpltSet::UnknownValues< CpltSetVarImp * >.

Definition at line 404 of file cpltset.icc.

void Gecode::CpltSet::DomBddIterator::init ( const CpltSetVarImp *  x,
bdd &  remain 
) [inline]

Reimplemented in Gecode::CpltSet::UnknownValues< CpltSetVarImp * >.

Definition at line 389 of file cpltset.icc.

bool Gecode::CpltSet::DomBddIterator::operator() ( void   )  const [inline]

Test whether iterator is still valid or done.

Reimplemented from Gecode::CpltSet::BddIterator.

Reimplemented in Gecode::CpltSet::LubValues< CpltSetVarImp * >.

Definition at line 436 of file cpltset.icc.

void Gecode::CpltSet::DomBddIterator::operator++ ( void   )  [inline]

Move iterator to next level in the bdd.

Reimplemented from Gecode::CpltSet::BddIterator.

Reimplemented in Gecode::CpltSet::GlbValues< CpltSetVarImp * >, Gecode::CpltSet::LubValues< CpltSetVarImp * >, and Gecode::CpltSet::UnknownValues< CpltSetVarImp * >.

Definition at line 441 of file cpltset.icc.

NodeStatus Gecode::CpltSet::DomBddIterator::status ( void   )  const [inline]

Retrieves the status of the current level.

Reimplemented from Gecode::CpltSet::BddIterator.

Definition at line 450 of file cpltset.icc.

int Gecode::CpltSet::DomBddIterator::val ( void   )  const [inline]

Retrieves the current value.

Reimplemented in Gecode::CpltSet::GlbValues< CpltSetVarImp * >, Gecode::CpltSet::LubValues< CpltSetVarImp * >, and Gecode::CpltSet::UnknownValues< CpltSetVarImp * >.

Definition at line 455 of file cpltset.icc.

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