#include <set.hh>
List of all members.
Detailed Description
Iterator for the unknown ranges of a set variable.
Definition at line 385 of file set.hh.
|
Constructors and initialization |
| | SetVarUnknownRanges (void) |
| | Default constructor.
|
| | SetVarUnknownRanges (const SetVar &x) |
| | Initialize to iterate ranges of variable x.
|
Iteration control |
| bool | operator() (void) const |
| | Test whether iterator is still at a range or done.
|
| void | operator++ (void) |
| | Move iterator to next range (if possible).
|
Range access |
| int | min (void) const |
| | Return smallest value of range.
|
| int | max (void) const |
| | Return largest value of range.
|
| unsigned int | width (void) const |
| | Return width of range (distance between minimum and maximum).
|
Constructor & Destructor Documentation
| Gecode::SetVarUnknownRanges::SetVarUnknownRanges |
( |
void |
|
) |
[inline] |
Default constructor.
Definition at line 210 of file set.icc.
| Gecode::SetVarUnknownRanges::SetVarUnknownRanges |
( |
const SetVar & |
x |
) |
[inline] |
Initialize to iterate ranges of variable x.
Definition at line 213 of file set.icc.
Member Function Documentation
| bool Gecode::SetVarUnknownRanges::operator() |
( |
void |
|
) |
const [inline] |
Test whether iterator is still at a range or done.
Definition at line 219 of file set.icc.
| void Gecode::SetVarUnknownRanges::operator++ |
( |
void |
|
) |
[inline] |
Move iterator to next range (if possible).
Definition at line 223 of file set.icc.
| int Gecode::SetVarUnknownRanges::min |
( |
void |
|
) |
const [inline] |
Return smallest value of range.
Definition at line 227 of file set.icc.
| int Gecode::SetVarUnknownRanges::max |
( |
void |
|
) |
const [inline] |
Return largest value of range.
Definition at line 231 of file set.icc.
| unsigned int Gecode::SetVarUnknownRanges::width |
( |
void |
|
) |
const [inline] |
Return width of range (distance between minimum and maximum).
Definition at line 235 of file set.icc.
The documentation for this class was generated from the following files:
