Searched refs:d_instantiations_qcf (Results 1 – 3 of 3) sorted by relevance
1183 d_instantiations_qcf("QuantifiersEngine::Instantiations_Qcf_Conflict", 0), in Statistics()1204 smtStatisticsRegistry()->registerStat(&d_instantiations_qcf); in Statistics()1227 smtStatisticsRegistry()->unregisterStat(&d_instantiations_qcf); in ~Statistics()
306 IntStat d_instantiations_qcf; variable
2032 ++(d_quantEngine->d_statistics.d_instantiations_qcf); in check()2041 ++(d_quantEngine->d_statistics.d_instantiations_qcf); in check()