Collection of slack values. More...
#include <trace-recorder.hpp>
Public Member Functions | |
SlackValue | initial (void) const |
Return initial slack value. More... | |
SlackValue | previous (void) const |
Return previous slack value. More... | |
SlackValue | current (void) const |
Return current slack value. More... | |
Protected Attributes | |
SlackValue | i |
The initial slack value. More... | |
SlackValue | p |
Slack value at previous event (fixpoint or init) More... | |
SlackValue | c |
Current slack value. More... | |
Collection of slack values.
Definition at line 65 of file trace-recorder.hpp.
|
inline |
Return initial slack value.
Definition at line 170 of file trace-recorder.hpp.
|
inline |
Return previous slack value.
Definition at line 175 of file trace-recorder.hpp.
|
inline |
Return current slack value.
Definition at line 180 of file trace-recorder.hpp.
|
protected |
The initial slack value.
Definition at line 69 of file trace-recorder.hpp.
|
protected |
Slack value at previous event (fixpoint or init)
Definition at line 71 of file trace-recorder.hpp.
|
protected |
Current slack value.
Definition at line 73 of file trace-recorder.hpp.