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 |