Searched refs:d_lemmasAdded (Results 1 – 4 of 4) sorted by relevance
159 context::CDO<bool> d_lemmasAdded; variable256 void lemma(TNode node) { d_out->lemma(node, RULE_CONFLICT); d_lemmasAdded = true; } in lemma()
63 d_lemmasAdded(c, false), in TheoryBV()
424 bool d_lemmasAdded; variable646 return d_outputChannelUsed || d_lemmasAdded; in needCheck()
538 d_lemmasAdded = false; in check()548 while (d_factsAsserted && !d_inConflict && !d_lemmasAdded) { in check()582 …ort(effort) && d_logicInfo.isSharingEnabled() && !d_factsAsserted && !d_lemmasAdded && !d_inConfli… in check()635 … effort << "): done, we are " << (d_inConflict ? "unsat" : "sat") << (d_lemmasAdded ? " with new l… in check()1870 d_lemmasAdded = true; in lemma()