Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp1177 d_multi_triggers("QuantifiersEngine::Triggers_Multi", 0), in Statistics()
1198 smtStatisticsRegistry()->registerStat(&d_multi_triggers); in Statistics()
1221 smtStatisticsRegistry()->unregisterStat(&d_multi_triggers); in ~Statistics()
H A Dquantifiers_engine.h300 IntStat d_multi_triggers; variable
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/
H A Dtrigger.cpp84 ++(qe->d_statistics.d_multi_triggers); in Trigger()