- Generated by
1.9.8
|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
A class that provides convenience operations to display run times. More...
#include <ProgressMeasurement.h>
Public Types | |
| typedef decltype(std::chrono::duration_cast< std::chrono::seconds >(std::chrono::seconds::zero()).count()) | SecondType |
| typedef decltype(std::chrono::duration_cast< std::chrono::milliseconds >(std::chrono::milliseconds::zero()).count()) | MilisecondType |
| typedef decltype(std::chrono::duration_cast< std::chrono::nanoseconds >(std::chrono::nanoseconds::zero()).count()) | NanosecondType |
Public Member Functions | |
| ProgressMeasurement (std::string const &itemName="items") | |
| Initializes progress measurement. | |
| void | startNewMeasurement (uint64_t startCount) |
| Starts a new measurement, dropping all progress information collected so far. | |
| bool | updateProgress (uint64_t count) |
| Updates the progress to the current count and prints it if the delay passed. | |
| bool | updateProgress (uint64_t count, std::ostream &outstream) |
| Updates the progress to the current count. | |
| bool | isMaxCountSet () const |
| Returns whether a maximal count (which is required to achieve 100% progress) has been specified. | |
| uint64_t | getMaxCount () const |
| Returns the maximal possible count (if specified). | |
| void | setMaxCount (uint64_t maxCount) |
| Sets the maximal possible count. | |
| void | unsetMaxCount () |
| Erases a previously specified maximal count. | |
| uint64_t | getShowProgressDelay () const |
| Returns the currently specified minimal delay (in seconds) between two progress messages. | |
| void | setShowProgressDelay (uint64_t delay) |
| Customizes the minimal delay between two progress messages. | |
| std::string const & | getItemName () const |
| Returns the current name of what we are counting (e.g. | |
| void | setItemName (std::string const &name) |
| Customizes the name of what we are counting (e.g. | |
A class that provides convenience operations to display run times.
Definition at line 13 of file ProgressMeasurement.h.
| typedef decltype(std::chrono::duration_cast<std::chrono::milliseconds>(std::chrono::milliseconds::zero()).count()) storm::utility::ProgressMeasurement::MilisecondType |
Definition at line 16 of file ProgressMeasurement.h.
| typedef decltype(std::chrono::duration_cast<std::chrono::nanoseconds>(std::chrono::nanoseconds::zero()).count()) storm::utility::ProgressMeasurement::NanosecondType |
Definition at line 17 of file ProgressMeasurement.h.
| typedef decltype(std::chrono::duration_cast<std::chrono::seconds>(std::chrono::seconds::zero()).count()) storm::utility::ProgressMeasurement::SecondType |
Definition at line 15 of file ProgressMeasurement.h.
| storm::utility::ProgressMeasurement::ProgressMeasurement | ( | std::string const & | itemName = "items" | ) |
Initializes progress measurement.
| itemName | the name of what we are counting (iterations, states, ...). |
Definition at line 13 of file ProgressMeasurement.cpp.
| std::string const & storm::utility::ProgressMeasurement::getItemName | ( | ) | const |
Returns the current name of what we are counting (e.g.
iterations, states, ...)
Definition at line 79 of file ProgressMeasurement.cpp.
| uint64_t storm::utility::ProgressMeasurement::getMaxCount | ( | ) | const |
Returns the maximal possible count (if specified).
Definition at line 58 of file ProgressMeasurement.cpp.
| uint64_t storm::utility::ProgressMeasurement::getShowProgressDelay | ( | ) | const |
Returns the currently specified minimal delay (in seconds) between two progress messages.
Definition at line 71 of file ProgressMeasurement.cpp.
| bool storm::utility::ProgressMeasurement::isMaxCountSet | ( | ) | const |
Returns whether a maximal count (which is required to achieve 100% progress) has been specified.
Definition at line 54 of file ProgressMeasurement.cpp.
| void storm::utility::ProgressMeasurement::setItemName | ( | std::string const & | name | ) |
Customizes the name of what we are counting (e.g.
iterations, states, ...)
| name | the name of what we are counting. |
Definition at line 83 of file ProgressMeasurement.cpp.
| void storm::utility::ProgressMeasurement::setMaxCount | ( | uint64_t | maxCount | ) |
Sets the maximal possible count.
Definition at line 63 of file ProgressMeasurement.cpp.
| void storm::utility::ProgressMeasurement::setShowProgressDelay | ( | uint64_t | delay | ) |
Customizes the minimal delay between two progress messages.
| delay | the delay (in seconds). |
Definition at line 75 of file ProgressMeasurement.cpp.
| void storm::utility::ProgressMeasurement::startNewMeasurement | ( | uint64_t | startCount | ) |
Starts a new measurement, dropping all progress information collected so far.
| startCount | the initial count. |
Definition at line 19 of file ProgressMeasurement.cpp.
| void storm::utility::ProgressMeasurement::unsetMaxCount | ( | ) |
Erases a previously specified maximal count.
Definition at line 67 of file ProgressMeasurement.cpp.
| bool storm::utility::ProgressMeasurement::updateProgress | ( | uint64_t | count | ) |
Updates the progress to the current count and prints it if the delay passed.
The progress is only updated and printed if the ShowProgress setting is enabled.
| count | The currently achieved count. |
Definition at line 25 of file ProgressMeasurement.cpp.
| bool storm::utility::ProgressMeasurement::updateProgress | ( | uint64_t | count, |
| std::ostream & | outstream | ||
| ) |
Updates the progress to the current count.
The update and printing is done independently of the showProgress setting.
| count | The currently achieved count. |
| outstream | The stream to which the progress is printed (if the delay passed) |
Definition at line 38 of file ProgressMeasurement.cpp.
1.9.8