Searched refs:d_split_lemmas (Results 1 – 2 of 2) sorted by relevance
409 IntStat d_split_lemmas; variable
1036 ++( d_thss->d_statistics.d_split_lemmas ); in addSplit()1857 d_split_lemmas("StrongSolverTheoryUF::Split_Lemmas", 0), in Statistics()1864 smtStatisticsRegistry()->registerStat(&d_split_lemmas); in Statistics()1873 smtStatisticsRegistry()->unregisterStat(&d_split_lemmas); in ~Statistics()