Searched defs:toTheoryId (Results 1 – 1 of 1) sorted by relevance
1204 …ine::markPropagation(TNode assertion, TNode originalAssertion, theory::TheoryId toTheoryId, theory… in markPropagation()1229 …gine::assertToTheory(TNode assertion, TNode originalAssertion, theory::TheoryId toTheoryId, theory… in assertToTheory()