Searched refs:baseAssertion (Results 1 – 2 of 2) sorted by relevance
124 void LemmaProofRecipe::addBaseAssertion(Node baseAssertion) { in addBaseAssertion() argument125 d_baseAssertions.insert(baseAssertion); in addBaseAssertion()
47 void addBaseAssertion(Node baseAssertion);