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 | |
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. | |
virtual std::string | ToSegmentString () const |
Convert the current state of the object to a formatted string, only including the specific part the Stat object is concerned about. | |
virtual std::string | ToString () const |
Convert the current state of the object to a formatted string. | |
Protected Attributes | |
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. | |
Private Attributes | |
Timer | timer_ |
Timer object to measure the cumulative time spent in the operation. | |
Dataclass collecting statistics about some operation or process.
At its more basic level, it collects the cumulative time spent in a given operation.
|
explicit |
Construct a Stats object.
|
inlinenodiscard |
|
inlinenodiscard |
|
inlinenodiscard |
|
nodiscardvirtual |
Convert the current state of the object to a formatted string, only including the specific part the Stat object is concerned about.
Reimplemented in dlinear::IterationStats.
|
nodiscardvirtual |
Convert the current state of the object to a formatted string.
Reimplemented in dlinear::IterationStats.