Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h433 bool d_outputChannelUsed; variable
646 return d_outputChannelUsed || d_lemmasAdded; in needCheck()
H A Dtheory_engine.cpp89 d_engine->d_outputChannelUsed = true; in lemma()
189 d_engine->d_outputChannelUsed = true; in splitLemma()
202 d_engine->d_outputChannelUsed = true; in propagate()
214 d_engine->d_outputChannelUsed = true; in conflict()
535 d_outputChannelUsed = false; in check()