Searched refs:d_instantiations_rr (Results 1 – 3 of 3) sorted by relevance
1188 d_instantiations_rr("QuantifiersEngine::Instantiations_Rewrite_Rules", 0) in Statistics()1209 smtStatisticsRegistry()->registerStat(&d_instantiations_rr); in Statistics()1232 smtStatisticsRegistry()->unregisterStat(&d_instantiations_rr); in ~Statistics()
311 IntStat d_instantiations_rr; variable
214 d_quantEngine->d_statistics.d_instantiations_rr += addedLemmas; in checkRewriteRule()