Stat Class Reference
Base class for statistics. More...
#include </home/soonhokong/work/dreal4/dreal/util/stat.h>
Inheritance diagram for Stat:
Public Member Functions | |
| Stat (bool enabled) | |
| Stat (const Stat &)=default | |
| Stat (Stat &&)=default | |
| Stat & | operator= (const Stat &)=delete |
| Stat & | operator= (Stat &&)=delete |
| bool | enabled () const |
| Returns true if the logging is enabled. More... | |
Protected Member Functions | |
| template<typename T > | |
| void | increase (std::atomic< T > *v) |
Detailed Description
Base class for statistics.
Member Function Documentation
◆ enabled()
|
inline |
Returns true if the logging is enabled.
Normally, this is checked in the destructor of a derived class and determine whether to log or not.
The documentation for this class was generated from the following file:
- /home/soonhokong/work/dreal4/dreal/util/stat.h
