mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::progress_meter Class Reference

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
 

Detailed Description

Displays progress messages for a task that performs a fixed number of steps.

Definition at line 23 of file progress_meter.h.

Constructor & Destructor Documentation

◆ progress_meter()

mcrl2::utilities::progress_meter::progress_meter ( std::size_t  N_ = 0)
inline

Constructor.

Definition at line 31 of file progress_meter.h.

Member Function Documentation

◆ set_size()

void mcrl2::utilities::progress_meter::set_size ( std::size_t  N_)
inline

Set the number of steps of the task.

Definition at line 36 of file progress_meter.h.

◆ step()

void mcrl2::utilities::progress_meter::step ( )
inline

Should be called after every step. Regularly a message is printed to log::status.

Definition at line 42 of file progress_meter.h.

Member Data Documentation

◆ n

std::size_t mcrl2::utilities::progress_meter::n
protected

Definition at line 26 of file progress_meter.h.

◆ N

std::size_t mcrl2::utilities::progress_meter::N
protected

Definition at line 27 of file progress_meter.h.


The documentation for this class was generated from the following file: