Home
last modified time | relevance | path

Searched refs:d_max_model_size (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.h412 IntStat d_max_model_size; variable
H A Dtheory_uf_strong_solver.cpp1860 d_max_model_size("StrongSolverTheoryUF::Max_Model_Size", 1) in Statistics()
1867 smtStatisticsRegistry()->registerStat(&d_max_model_size); in Statistics()
1876 smtStatisticsRegistry()->unregisterStat(&d_max_model_size); in ~Statistics()