- Gecode
- SetTraceDelta
- Glb
Delta for the greatest lower bound. More...
#include <set.hh>
Protected Attributes | |
Iter::Ranges::RangeList | o |
Iterator over old glb. More... | |
Set::GlbRanges< Set::SetView > | n |
Iterator over new glb. More... | |
![]() | |
Set::GlbRanges< Set::SetView > | i |
Iterator from which to subtract. More... | |
Iter::Ranges::RangeList | j |
Iterator to be subtracted. More... | |
![]() | |
int | mi |
Minimum of current range. More... | |
int | ma |
Maximum of current range. More... | |
Constructors and initialization | |
Glb (RangeList *o, Set::SetView n) | |
Initialize with old glb and new glb. More... | |
Additional Inherited Members | |
![]() | |
Diff (void) | |
Default constructor. More... | |
Diff (Set::GlbRanges< Set::SetView > &i, Iter::Ranges::RangeList &j) | |
Initialize with iterator i and j. More... | |
void | init (Set::GlbRanges< Set::SetView > &i, Iter::Ranges::RangeList &j) |
Initialize with iterator i and j. More... | |
void | operator++ (void) |
Move iterator to next range (if possible) More... | |
![]() | |
MinMax (void) | |
Default constructor. More... | |
MinMax (int min, int max) | |
Initialize with range min to max. More... | |
bool | operator() (void) const |
Test whether iterator is still at a range or done. More... | |
int | min (void) const |
Return smallest value of range. More... | |
int | max (void) const |
Return largest value of range. More... | |
unsigned int | width (void) const |
Return width of range (distance between minimum and maximum) More... | |
![]() | |
void | finish (void) |
Set range such that iteration stops More... | |
|
inline |
|
protected |
|
protected |