Searched refs:d_clique_lemmas (Results 1 – 2 of 2) sorted by relevance
408 IntStat d_clique_lemmas; variable
1065 ++(d_thss->d_statistics.d_clique_lemmas); in addCliqueLemma()1856 d_clique_lemmas("StrongSolverTheoryUF::Clique_Lemmas", 0), in Statistics()1863 smtStatisticsRegistry()->registerStat(&d_clique_lemmas); in Statistics()1872 smtStatisticsRegistry()->unregisterStat(&d_clique_lemmas); in ~Statistics()