Gecode::CpltSetVarLubValues Class Reference
[Set variables with complete domain representation]
#include <cpltset.hh>
Detailed Description
Value iterator for the least upper bound of a bdd variable.Definition at line 378 of file cpltset.hh.
Public Member Functions | |
| CpltSetVarLubValues (void) | |
| CpltSetVarLubValues (const CpltSetVar &x) | |
| bool | operator() (void) const |
| void | operator++ (void) |
| int | val (void) const |
Constructor & Destructor Documentation
| Gecode::CpltSetVarLubValues::CpltSetVarLubValues | ( | void | ) | [inline] |
Definition at line 183 of file cpltset.icc.
| Gecode::CpltSetVarLubValues::CpltSetVarLubValues | ( | const CpltSetVar & | x | ) | [inline] |
Definition at line 186 of file cpltset.icc.
Member Function Documentation
| bool Gecode::CpltSetVarLubValues::operator() | ( | void | ) | const [inline] |
Definition at line 190 of file cpltset.icc.
| void Gecode::CpltSetVarLubValues::operator++ | ( | void | ) | [inline] |
Definition at line 193 of file cpltset.icc.
| int Gecode::CpltSetVarLubValues::val | ( | void | ) | const [inline] |
Definition at line 196 of file cpltset.icc.
The documentation for this class was generated from the following files:
- gecode/cpltset.hh (Revision: 7494)
- gecode/cpltset/var/cpltset.icc (Revision: 6274)