|
|
dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Dataclass collecting statistics about some operation or process. More...
#include <Stats.h>
Public Member Functions | |
| IterationStats (bool enabled, std::string class_name, std::string name_time="Time spent in Operations", std::string iterations_name="Total # of Iterations") | |
| Construct an IterationStats object. | |
| std::string | ToSegmentString () const override |
| Convert the current state of the object to a formatted string, only including the specific part the Stat object is concerned about. | |
| std::string | ToString () const override |
| Convert the current state of the object to a formatted string. | |
| void | Increase () |
| Increase the iteration counter by one. | |
| unsigned int | iterations () const |
| Get read-only access to the iterations of the stats. | |
Public Member Functions inherited from dlinear::Stats | |
| Stats (bool enabled, std::string class_name, std::string name_time="Time spent in Operations") | |
| Construct a Stats object. | |
| bool | enabled () const |
| Check whether the stats is enabled. | |
| Timer & | m_timer () |
| Get read-write access to the timer of the stats. | |
| const Timer & | timer () const |
| Get read-only access to the timer of the stats. | |
Private Attributes | |
| std::atomic< unsigned int > | iterations_ |
| Atomic counter for the total number of iterations. | |
| std::string | iterations_name_ |
| Name to give to the iteration operation. | |
Additional Inherited Members | |
Protected Attributes inherited from dlinear::Stats | |
| bool | enabled_ |
| Flag to enable/disable the collection of statistics. | |
| std::string | class_name_ |
| Name of the class running the operation the Stats object is collecting statistics for. | |
| std::string | operations_name_ |
| Name of the operation the Stats object is collecting statistics for. | |
Dataclass collecting statistics about some operation or process.
Not only does it collect the cumulative time spent in a given operation, but also the total number of iterations.
|
explicit |
Construct an IterationStats object.
| enabled | whether the Stats object should be enabled or not. Its value is propagated to the timer_ |
| class_name | name of the class running the operation the Stats object is collecting statistics for |
| name_time | name of the operation the Stats object is collecting statistics for |
| iterations_name | name of the operation the Stats object is collecting statistics for |
| void dlinear::IterationStats::Increase | ( | ) |
|
inlinenodiscard |
|
nodiscardoverridevirtual |
Convert the current state of the object to a formatted string, only including the specific part the Stat object is concerned about.
Reimplemented from dlinear::Stats.
|
nodiscardoverridevirtual |
Convert the current state of the object to a formatted string.
Reimplemented from dlinear::Stats.