Searched refs:d_abstractionTime (Results 1 – 2 of 2) sorted by relevance
37 TimerStat::CodeTimer abstractionTimer(d_statistics.d_abstractionTime); in applyAbstraction()1117 d_abstractionTime(name + "::abstraction::AbstractionTime") in Statistics()1121 smtStatisticsRegistry()->registerStat(&d_abstractionTime); in Statistics()1127 smtStatisticsRegistry()->unregisterStat(&d_abstractionTime); in ~Statistics()
40 TimerStat d_abstractionTime; member