dReal4
IcpStat Member List

This is the complete list of members for IcpStat, including all inherited members.

enabled() constStatinline
IcpStat(const bool enabled, int id=0) (defined in IcpStat)IcpStatinlineexplicit
IcpStat(const IcpStat &)=delete (defined in IcpStat)IcpStat
IcpStat(IcpStat &&)=delete (defined in IcpStat)IcpStat
increase(std::atomic< T > *v) (defined in Stat)Statinlineprotected
num_branch_ (defined in IcpStat)IcpStat
num_prune_ (defined in IcpStat)IcpStat
operator=(const IcpStat &)=delete (defined in IcpStat)IcpStat
operator=(IcpStat &&)=delete (defined in IcpStat)IcpStat
operator=(const Stat &)=delete (defined in Stat)Stat
operator=(Stat &&)=delete (defined in Stat)Stat
Stat(bool enabled) (defined in Stat)Statinlineexplicit
Stat(const Stat &)=default (defined in Stat)Stat
Stat(Stat &&)=default (defined in Stat)Stat
thread_id_ (defined in IcpStat)IcpStat
timer_branch_ (defined in IcpStat)IcpStat
timer_eval_ (defined in IcpStat)IcpStat
timer_prune_ (defined in IcpStat)IcpStat
~IcpStat() override (defined in IcpStat)IcpStat
~Stat()=default (defined in Stat)Statvirtual