mCRL2
|
Displays progress messages for a task that performs a fixed number of steps. More...
#include <progress_meter.h>
Public Member Functions | |
progress_meter (std::size_t N_=0) | |
Constructor. | |
void | set_size (std::size_t N_) |
Set the number of steps of the task. | |
void | step () |
Should be called after every step. Regularly a message is printed to log::status. | |
Protected Attributes | |
std::size_t | n |
std::size_t | N |
Displays progress messages for a task that performs a fixed number of steps.
Definition at line 23 of file progress_meter.h.
|
inline |
Constructor.
Definition at line 31 of file progress_meter.h.
|
inline |
Set the number of steps of the task.
Definition at line 36 of file progress_meter.h.
|
inline |
Should be called after every step. Regularly a message is printed to log::status.
Definition at line 42 of file progress_meter.h.
|
protected |
Definition at line 26 of file progress_meter.h.
|
protected |
Definition at line 27 of file progress_meter.h.