Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp1186 d_instantiations_fmf_mbqi("QuantifiersEngine::Instantiations_Fmf_Mbqi", 0), in Statistics()
1207 smtStatisticsRegistry()->registerStat(&d_instantiations_fmf_mbqi); in Statistics()
1230 smtStatisticsRegistry()->unregisterStat(&d_instantiations_fmf_mbqi); in ~Statistics()
H A Dquantifiers_engine.h309 IntStat d_instantiations_fmf_mbqi; variable
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/fmf/
H A Dmodel_engine.cpp269 d_quantEngine->d_statistics.d_instantiations_fmf_mbqi += in exhaustiveInstantiate()