Searched refs:d_totality_lemmas (Results 1 – 2 of 2) sorted by relevance
411 IntStat d_totality_lemmas; variable
1115 ++( d_thss->d_statistics.d_totality_lemmas ); in addTotalityAxiom()1859 d_totality_lemmas("StrongSolverTheoryUF::Totality_Lemmas", 0), in Statistics()1866 smtStatisticsRegistry()->registerStat(&d_totality_lemmas); in Statistics()1875 smtStatisticsRegistry()->unregisterStat(&d_totality_lemmas); in ~Statistics()