
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.