Searched defs:splitLemma (Results 1 – 4 of 4) sorted by relevance
64 theory::LemmaStatus ProofOutputChannel::splitLemma(TNode, bool) { in splitLemma() function in CVC4::ProofOutputChannel
65 LemmaStatus splitLemma(TNode n, bool removable) override { in splitLemma() function
71 LemmaStatus splitLemma(TNode n, bool removable) override { Unimplemented(); } in splitLemma() function
184 theory::LemmaStatus TheoryEngine::EngineOutputChannel::splitLemma( in splitLemma() function in CVC4::TheoryEngine::EngineOutputChannel