Duplicate of a set view. More...
#include <trace-view.hpp>
Public Member Functions | |
SetTraceView (void) | |
Default constructor (initializes with no view) | |
SetTraceView (Space &home, SetView x) | |
Duplicate view x. | |
RangeList * | glb (void) const |
Return range list for greatest lower bound. | |
RangeList * | lub (void) const |
Return range list for leat upper bound. | |
void | prune (Space &home, SetView y, const Delta &d) |
Update duplicated view from view y and delta d. | |
void | update (Space &home, SetTraceView x) |
Update during cloning. | |
Static Public Member Functions | |
static unsigned long long int | slack (SetView x) |
Return slack for x. | |
Protected Attributes | |
RangeList * | _glb |
Copy of the greatest lower bound. | |
RangeList * | _lub |
Copy of the least upper bound. | |
Duplicate of a set view.
Definition at line 37 of file trace-view.hpp.
|
inline |
Default constructor (initializes with no view)
Definition at line 61 of file trace-view.hpp.
Duplicate view x.
Definition at line 63 of file trace-view.hpp.
|
inline |
Return range list for greatest lower bound.
Definition at line 70 of file trace-view.hpp.
|
inline |
Return range list for leat upper bound.
Definition at line 74 of file trace-view.hpp.
Update duplicated view from view y and delta d.
Definition at line 78 of file trace-view.hpp.
|
inline |
Update during cloning.
Definition at line 85 of file trace-view.hpp.
|
inlinestatic |
Return slack for x.
Definition at line 93 of file trace-view.hpp.
|
protected |
Copy of the greatest lower bound.
Definition at line 40 of file trace-view.hpp.
|
protected |
Copy of the least upper bound.
Definition at line 42 of file trace-view.hpp.