Searched refs:d_numFunctionsAbstracted (Results 1 – 2 of 2) sorted by relevance
527 d_statistics.d_numFunctionsAbstracted.setData(d_signatureToFunc.size()); in finalizeSignatures()1114 : d_numFunctionsAbstracted(name + "::abstraction::NumFunctionsAbstracted", in Statistics()1119 smtStatisticsRegistry()->registerStat(&d_numFunctionsAbstracted); in Statistics()1125 smtStatisticsRegistry()->unregisterStat(&d_numFunctionsAbstracted); in ~Statistics()
38 IntStat d_numFunctionsAbstracted; member