Searched defs:assertEqualities (Results 1 – 2 of 2) sorted by relevance
142 void Theory::assertEqualities(const Theorem& e) in assertEqualities() function in Theory
4093 void TheoryCore::assertEqualities(const Theorem& e) in assertEqualities() function in TheoryCore