Home
last modified time | relevance | path

Searched defs:splitLemma (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_output_channel.cpp64 theory::LemmaStatus ProofOutputChannel::splitLemma(TNode, bool) { in splitLemma() function in CVC4::ProofOutputChannel
/dports/math/cvc4/CVC4-1.7/test/unit/theory/
H A Dtheory_white.h65 LemmaStatus splitLemma(TNode n, bool removable) override { in splitLemma() function
H A Dtheory_engine_white.h71 LemmaStatus splitLemma(TNode n, bool removable) override { Unimplemented(); } in splitLemma() function
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp184 theory::LemmaStatus TheoryEngine::EngineOutputChannel::splitLemma( in splitLemma() function in CVC4::TheoryEngine::EngineOutputChannel