Collection of slack values. More...
#include <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 68 of file recorder.hpp.
|
inline |
Return initial slack value.
Definition at line 218 of file recorder.hpp.
|
inline |
Return previous slack value.
Definition at line 223 of file recorder.hpp.
|
inline |
Return current slack value.
Definition at line 228 of file recorder.hpp.
|
protected |
The initial slack value.
Definition at line 72 of file recorder.hpp.
|
protected |
Slack value at previous event (fixpoint or init)
Definition at line 74 of file recorder.hpp.
|
protected |
Current slack value.
Definition at line 76 of file recorder.hpp.