Searched refs:d_disamb_term_lemmas (Results 1 – 2 of 2) sorted by relevance
410 IntStat d_disamb_term_lemmas; variable
1858 d_disamb_term_lemmas("StrongSolverTheoryUF::Disambiguate_Term_Lemmas", 0), in Statistics()1865 smtStatisticsRegistry()->registerStat(&d_disamb_term_lemmas); in Statistics()1874 smtStatisticsRegistry()->unregisterStat(&d_disamb_term_lemmas); in ~Statistics()