|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
#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") | |
IterationStats (const IterationStats &other) | |
IterationStats & | operator= (const IterationStats &other) |
IterationStats & | operator+= (const IterationStats &other) |
IterationStats | operator+ (const IterationStats &other) const |
std::string | to_segment_string () const override |
std::string | to_string () const override |
void | increase () |
unsigned int | iterations () const |
void | operator++ () |
void | operator++ (int) |
![]() | |
Stats (bool enabled, std::string class_name, std::string name_time="Time spent in Operations") | |
Stats (const Stats &other)=default | |
Stats & | operator= (const Stats &other)=default |
Stats & | operator+= (const Stats &other) |
Stats | operator+ (const Stats &other) const |
bool | enabled () const |
Timer & | m_timer () |
const Timer & | timer () const |
Private Attributes | |
std::atomic< unsigned int > | iterations_ |
Number of iterations. | |
std::string | iterations_name_ |
Prompt to specify the number of iterations. | |
Additional Inherited Members | |
![]() | |
bool | enabled_ |
Whether the stats measuring is enabled. | |
std::string | class_name_ |
Name of the class the stats are measuring. | |
std::string | operations_name_ |
Prompt to specify what operation the time has been measured of. | |
Measure the statistics of the software.
Namely, measure the time spent in operations and the number of iterations.
|
explicit |
Construct a new IterationStats object.
The enabled
flag is used to enable or disable the stats measuring. The class_name
is the name of the class the stats are measuring, while the name_time
is the prompt to specify what operation the time has been measured of, and the iterations_name
is the prompt to specify the number of iterations.
enabled | whether the stats measuring is enabled |
class_name | name of the class the stats are measuring |
name_time | prompt to specify what operation the time has been measured of |
iterations_name | prompt to specify the number of iterations |
void smats::IterationStats::increase | ( | ) |
Increase the iteration counter by one.
|
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 smats::Stats.
|
nodiscardoverridevirtual |
Convert the current state of the object to a formatted string
Reimplemented from smats::Stats.