Home
last modified time | relevance | path

Searched refs:d_instantiations_auto_gen (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp1181 d_instantiations_auto_gen("QuantifiersEngine::Instantiations_Auto_Gen", 0), in Statistics()
1202 smtStatisticsRegistry()->registerStat(&d_instantiations_auto_gen); in Statistics()
1225 smtStatisticsRegistry()->unregisterStat(&d_instantiations_auto_gen); in ~Statistics()
H A Dquantifiers_engine.h304 IntStat d_instantiations_auto_gen; variable
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/
H A Dinst_strategy_e_matching.cpp255 d_quantEngine->d_statistics.d_instantiations_auto_gen += numInst; in process()