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