- Gecode
- SetTraceDelta

Trace delta information for set variables. More...
#include <set.hh>
Classes | |
| class | Glb |
| Delta for the greatest lower bound. More... | |
| class | Lub |
| Delta for the least upper bound. More... | |
Public Attributes | |
| Glb | _glb |
| Lub | _lub |
Constructor | |
| SetTraceDelta (Set::SetTraceView o, Set::SetView n, const Delta &d) | |
| Initialize with old trace view o, new view n, and delta d. More... | |
Access to delta iterators | |
| Glb & | glb (void) |
| Give access to iterator for delta in greatest lower bound (values that have been included) More... | |
| Lub & | lub (void) |
| Give access iterator for delta in leat bound (values that have been removed) More... | |
|
inline |
|
inline |
|
inline |