Include file:
#include "mcrl2/utilities/progress_meter.h
mcrl2::utilities::
progress_meter
¶Displays progress messages for a task that performs a fixed number of steps.
mcrl2::utilities::progress_meter::
n
¶mcrl2::utilities::progress_meter::
N
¶