Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp1176 d_simple_triggers("QuantifiersEngine::Triggers_Simple", 0), in Statistics()
1197 smtStatisticsRegistry()->registerStat(&d_simple_triggers); in Statistics()
1220 smtStatisticsRegistry()->unregisterStat(&d_simple_triggers); in ~Statistics()
H A Dquantifiers_engine.h299 IntStat d_simple_triggers; variable
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/
H A Dtrigger.cpp77 ++(qe->d_statistics.d_simple_triggers); in Trigger()