Searched refs:d_factsAsserted (Results 1 – 2 of 2) sorted by relevance
321 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()
569 context::CDO<bool> d_factsAsserted; variable