Home
last modified time | relevance | path

Searched refs:d_combineTheoriesTime (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp314 d_combineTheoriesTime("TheoryEngine::combineTheoriesTime"), in TheoryEngine()
335 smtStatisticsRegistry()->registerStat(&d_combineTheoriesTime); in TheoryEngine()
367 smtStatisticsRegistry()->unregisterStat(&d_combineTheoriesTime); in ~TheoryEngine()
673 TimerStat::CodeTimer combineTheoriesTimer(d_combineTheoriesTime); in combineTheories()
H A Dtheory_engine.h461 TimerStat d_combineTheoriesTime; variable