Collection of slack values. More...
#include <recorder.hpp>
Public Member Functions | |
SlackValue | initial (void) const |
Return initial slack value. | |
SlackValue | previous (void) const |
Return previous slack value. | |
SlackValue | current (void) const |
Return current slack value. |
Protected Attributes | |
SlackValue | i |
The initial slack value. | |
SlackValue | p |
Slack value at previous event (fixpoint or init) | |
SlackValue | c |
Current slack value. |
Collection of slack values.
Definition at line 69 of file recorder.hpp.
|
inline |
Return initial slack value.
Definition at line 219 of file recorder.hpp.
|
inline |
Return previous slack value.
Definition at line 224 of file recorder.hpp.
|
inline |
Return current slack value.
Definition at line 229 of file recorder.hpp.
|
protected |
The initial slack value.
Definition at line 73 of file recorder.hpp.
|
protected |
Slack value at previous event (fixpoint or init)
Definition at line 75 of file recorder.hpp.
|
protected |
Current slack value.
Definition at line 77 of file recorder.hpp.