Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp321 d_factsAsserted(context, false), in TheoryEngine()
540 …) << "TheoryEngine::check(" << effort << "): d_factsAsserted = " << (d_factsAsserted ? "true" : "f… in check()
544 d_factsAsserted = true; in check()
548 while (d_factsAsserted && !d_inConflict && !d_lemmasAdded) { in check()
565 d_factsAsserted = false; in check()
582 …if (Theory::fullEffort(effort) && d_logicInfo.isSharingEnabled() && !d_factsAsserted && !d_lemmasA… in check()
1258 d_factsAsserted = true; in assertToTheory()
1301 d_factsAsserted = true; in assertToTheory()
1347 d_factsAsserted = true; in assertToTheory()
H A Dtheory_engine.h569 context::CDO<bool> d_factsAsserted; variable