Searched refs:d_instantiations_auto_gen (Results 1 – 3 of 3) sorted by relevance
1181 d_instantiations_auto_gen("QuantifiersEngine::Instantiations_Auto_Gen", 0), in Statistics()1202 smtStatisticsRegistry()->registerStat(&d_instantiations_auto_gen); in Statistics()1225 smtStatisticsRegistry()->unregisterStat(&d_instantiations_auto_gen); in ~Statistics()
304 IntStat d_instantiations_auto_gen; variable
255 d_quantEngine->d_statistics.d_instantiations_auto_gen += numInst; in process()