IcpStat Class Reference
A class to show statistics information at destruction. More...
#include </home/soonhokong/work/dreal4/dreal/solver/icp_stat.h>
Inheritance diagram for IcpStat:
Public Member Functions | |
| IcpStat (const bool enabled, int id=0) | |
| IcpStat (const IcpStat &)=delete | |
| IcpStat (IcpStat &&)=delete | |
| IcpStat & | operator= (const IcpStat &)=delete |
| IcpStat & | operator= (IcpStat &&)=delete |
 Public Member Functions inherited from Stat | |
| 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... | |
Public Attributes | |
| const int | thread_id_ |
| std::atomic< int > | num_branch_ {0} |
| std::atomic< int > | num_prune_ {0} |
| Timer | timer_branch_ |
| Timer | timer_prune_ |
| Timer | timer_eval_ |
Additional Inherited Members | |
| Protected Member Functions inherited from Stat | |
| template<typename T > | |
| void | increase (std::atomic< T > *v) |
Detailed Description
A class to show statistics information at destruction.
We have a static instance in Icp::CheckSat() to keep track of the numbers of branching and pruning operations.
The documentation for this class was generated from the following files:
- /home/soonhokong/work/dreal4/dreal/solver/icp_stat.h
- /home/soonhokong/work/dreal4/dreal/solver/icp_stat.cc
