Trace delta information for Boolean variables. More...
#include <int.hh>
Protected Attributes | |
int | delta |
Delta information. More... | |
Constructors and initialization | |
BoolTraceDelta (Int::BoolTraceView o, Int::BoolView n, const Delta &d) | |
Initialize with old trace view o, new view n, and delta d. More... | |
Iteration control | |
bool | operator() (void) const |
Test whether iterator is still at a range or done. More... | |
void | operator++ (void) |
Move iterator to next range (if possible) More... | |
Range access | |
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... | |
|
inline |
Initialize with old trace view o, new view n, and delta d.
Definition at line 41 of file bool-delta.hpp.
|
inline |
Test whether iterator is still at a range or done.
Definition at line 45 of file bool-delta.hpp.
|
inline |
Move iterator to next range (if possible)
Definition at line 49 of file bool-delta.hpp.
|
inline |
Return smallest value of range.
Definition at line 53 of file bool-delta.hpp.
|
inline |
Return largest value of range.
Definition at line 57 of file bool-delta.hpp.
|
inline |
Return width of range (distance between minimum and maximum)
Definition at line 61 of file bool-delta.hpp.
|
protected |