Searched refs:EngineOutputChannel (Results 1 – 2 of 2) sorted by relevance
266 class EngineOutputChannel : public theory::OutputChannel {283 EngineOutputChannel(TheoryEngine* engine, theory::TheoryId theory) in EngineOutputChannel() function347 EngineOutputChannel* d_theoryOut[theory::THEORY_LAST];495 d_theoryOut[theoryId] = new EngineOutputChannel(this, theoryId); in addTheory()
80 theory::LemmaStatus TheoryEngine::EngineOutputChannel::lemma(TNode lemma, in lemma()99 void TheoryEngine::EngineOutputChannel::registerLemmaRecipe(Node lemma, Node originalLemma, bool pr… in registerLemmaRecipe()184 theory::LemmaStatus TheoryEngine::EngineOutputChannel::splitLemma( in splitLemma()198 bool TheoryEngine::EngineOutputChannel::propagate(TNode literal) { in propagate()206 void TheoryEngine::EngineOutputChannel::conflict(TNode conflictNode, in conflict()