Generated on Mon Aug 25 11:35:49 2008 for Gecode by doxygen 1.5.6
Gecode::CpltSet::UnknownValues< CpltSetVarImp * >

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

Inherits Gecode::CpltSet::DomBddIterator.

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

List of all members.

Detailed Description

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

Iterator for the unknown values of a bdd variable implementation.

Definition at line 317 of file cpltset.icc.


Constructors and initialization

 UnknownValues (void)
 Default constructor.
 UnknownValues (const CpltSetVarImp *x)
 Initialize with ranges for variable implementation x.
 UnknownValues (const CpltSetVarImp *x, bdd &remain)
 Initialize with ranges for variable implementation x.
void init (const CpltSetVarImp *x)
 Initialize with ranges for variable implementation x.
void init (const CpltSetVarImp *x, bdd &remain)
 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::UnknownValues< CpltSetVarImp * >::UnknownValues ( void   )  [inline]

Default constructor.

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

Definition at line 537 of file cpltset.icc.

Gecode::CpltSet::UnknownValues< CpltSetVarImp * >::UnknownValues ( const CpltSetVarImp *  x  )  [inline]

Initialize with ranges for variable implementation x.

Definition at line 540 of file cpltset.icc.

Gecode::CpltSet::UnknownValues< CpltSetVarImp * >::UnknownValues ( const CpltSetVarImp *  x,
bdd &  remain 
)

Initialize with ranges for variable implementation x.

Member Function Documentation

void Gecode::CpltSet::UnknownValues< CpltSetVarImp * >::init ( const CpltSetVarImp *  x  )  [inline]

Initialize with ranges for variable implementation x.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 550 of file cpltset.icc.

void Gecode::CpltSet::UnknownValues< CpltSetVarImp * >::init ( const CpltSetVarImp *  x,
bdd &  remain 
)

Initialize with ranges for variable implementation x.

Reimplemented from Gecode::CpltSet::DomBddIterator.

void Gecode::CpltSet::UnknownValues< CpltSetVarImp * >::operator++ ( void   )  [inline]

Iterate to the next glb value.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 562 of file cpltset.icc.

int Gecode::CpltSet::UnknownValues< CpltSetVarImp * >::val ( void   )  const [inline]

Retrieves the current value.

Reimplemented from Gecode::CpltSet::DomBddIterator.

Definition at line 571 of file cpltset.icc.

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