Searched defs:originalAssertion (Results 1 – 1 of 1) sorted by relevance
1204 bool TheoryEngine::markPropagation(TNode assertion, TNode originalAssertion, theory::TheoryId toThe… in markPropagation()1229 void TheoryEngine::assertToTheory(TNode assertion, TNode originalAssertion, theory::TheoryId toTheo… in assertToTheory()