Gecode::Set::Gecode::Set::LubRanges< ConstantView > Class Template Reference
[Set views]
Inherited by
Gecode::Set::Gecode::Set::GlbRanges< ConstantView >.
List of all members.
Detailed Description
template<>
class Gecode::Set::Gecode::Set::LubRanges< ConstantView >
Range iterator for least upper bound of constant set view
Definition at line 801 of file const.icc.
|
Constructors and initialization |
| | LubRanges (void) |
| | Default constructor.
|
| | LubRanges (const ConstantView &x) |
| | Initialize with ranges for view x.
|
| void | init (const ConstantView &x) |
| | Initialize with ranges for view x.
|
Iteration control |
| bool | operator() (void) const |
| | Test whether iterator is still at a value or done.
|
| void | operator++ (void) |
| | Move iterator to next value (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).
|
Member Function Documentation
Default constructor.
Definition at line 808 of file const.icc.
Initialize with ranges for view x.
Definition at line 810 of file const.icc.
| bool Gecode::Set::Gecode::Set::LubRanges< ConstantView >::operator() |
( |
void |
|
) |
const [inline] |
Test whether iterator is still at a value or done.
Definition at line 820 of file const.icc.
| void Gecode::Set::Gecode::Set::LubRanges< ConstantView >::operator++ |
( |
void |
|
) |
[inline] |
Move iterator to next value (if possible).
Definition at line 822 of file const.icc.
| int Gecode::Set::Gecode::Set::LubRanges< ConstantView >::min |
( |
void |
|
) |
const [inline] |
Return smallest value of range.
Definition at line 828 of file const.icc.
| int Gecode::Set::Gecode::Set::LubRanges< ConstantView >::max |
( |
void |
|
) |
const [inline] |
Return largest value of range.
Definition at line 830 of file const.icc.
| unsigned int Gecode::Set::Gecode::Set::LubRanges< ConstantView >::width |
( |
void |
|
) |
const [inline] |
Return width of range (distance between minimum and maximum).
Definition at line 832 of file const.icc.
The documentation for this class was generated from the following file: