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

Gecode::CpltSet::BddIterator Class Reference

Inherited by Gecode::CpltSet::DomBddIterator.

List of all members.

Detailed Description

Iterator for level-wise iteration over a given bdd.

Note:
This iterator computes the complete node information in its constructor and init function in $ O(N)$, where N is the number of nodes of the iterated bdd

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


Constructors and initialization

 BddIterator (void)
 BddIterator (const bdd &)
GECODE_CPLTSET_EXPORT void init (const bdd &)

Iteration control

bool operator() (void) const
 Test whether iterator is still valid or done.
GECODE_CPLTSET_EXPORT 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 level (void) const
 Retrieves the current level.
int label (void) const
 Retrieves the current label.
bool empty (void) const
 Test whether agenda is empty.
int size (void) const
 Retrieve number of nodes of iterated bdd.

Constructor & Destructor Documentation

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

Definition at line 349 of file cpltset.icc.

Gecode::CpltSet::BddIterator::BddIterator ( const bdd &  b  )  [inline]

Definition at line 352 of file cpltset.icc.

Member Function Documentation

void Gecode::CpltSet::BddIterator::init ( const bdd &  b  ) 

Definition at line 532 of file cpltset.cc.

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

Test whether iterator is still valid or done.

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

Definition at line 366 of file cpltset.icc.

void Gecode::CpltSet::BddIterator::operator++ ( void   ) 

Move iterator to next level in the bdd.

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

Definition at line 610 of file cpltset.cc.

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

Retrieves the status of the current level.

Reimplemented in Gecode::CpltSet::DomBddIterator.

Definition at line 357 of file cpltset.icc.

int Gecode::CpltSet::BddIterator::level ( void   )  const [inline]

Retrieves the current level.

Definition at line 360 of file cpltset.icc.

int Gecode::CpltSet::BddIterator::label ( void   )  const [inline]

Retrieves the current label.

Definition at line 372 of file cpltset.icc.

bool Gecode::CpltSet::BddIterator::empty ( void   )  const [inline]

Test whether agenda is empty.

Definition at line 363 of file cpltset.icc.

int Gecode::CpltSet::BddIterator::size ( void   )  const [inline]

Retrieve number of nodes of iterated bdd.

Definition at line 381 of file cpltset.icc.

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