Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp1183 d_instantiations_qcf("QuantifiersEngine::Instantiations_Qcf_Conflict", 0), in Statistics()
1204 smtStatisticsRegistry()->registerStat(&d_instantiations_qcf); in Statistics()
1227 smtStatisticsRegistry()->unregisterStat(&d_instantiations_qcf); in ~Statistics()
H A Dquantifiers_engine.h306 IntStat d_instantiations_qcf; variable
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dquant_conflict_find.cpp2032 ++(d_quantEngine->d_statistics.d_instantiations_qcf); in check()
2041 ++(d_quantEngine->d_statistics.d_instantiations_qcf); in check()