Searched refs:d_proofsEnabled (Results 1 – 4 of 4) sorted by relevance
231 bool d_proofsEnabled; variable853 void produceProofs() { d_proofsEnabled = true; } in produceProofs()
80 d_proofsEnabled(false) in Theory()
1359 if (!d_proofsEnabled) { in check()1391 if (d_proofsEnabled) { in check()1407 if (!d_proofsEnabled) { in check()2077 if (!d_proofsEnabled) { in queueRowLemma()2089 if ((options::arraysEagerLemmas() || bothExist) && !d_proofsEnabled) { in queueRowLemma()2259 std::shared_ptr<eq::EqProof> proof = d_proofsEnabled ? in conflict()2267 if (d_proofsEnabled) { in conflict()
720 d_proofsEnabled ? std::make_shared<eq::EqProof>() : nullptr; in conflict()722 std::unique_ptr<ProofUF> puf(d_proofsEnabled ? new ProofUF(pf) : nullptr); in conflict()