Searched refs:d_numLearnedInProof (Results 1 – 2 of 2) sorted by relevance
1021 PSTATS(d_statistics.d_numLearnedInProof.setData(d_seenLearnt.size()); in collectClausesUsed()1034 d_numLearnedInProof("satproof::" + prefix + "::NumLearnedInProof", 0), in Statistics()1043 smtStatisticsRegistry()->registerStat(&d_numLearnedInProof); in Statistics()1055 smtStatisticsRegistry()->unregisterStat(&d_numLearnedInProof); in ~Statistics()
288 IntStat d_numLearnedInProof; member