mcrl2::utilities::progress_meter

Include file:

#include "mcrl2/utilities/progress_meter.h

class mcrl2::utilities::progress_meter

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

Protected attributes

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

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

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.