Searched refs:canonConjunctionEquiv (Results 1 – 6 of 6) sorted by relevance
182 Theorem canonConjunctionEquiv(const Theorem& thm);
166 Theorem canonConjunctionEquiv(const Theorem& thm);
206 Theorem canonConjunctionEquiv(const Theorem& thm);
419 TheoryArith3::canonConjunctionEquiv(const Theorem& thm) { in canonConjunctionEquiv() function in TheoryArith3
318 TheoryArithNew::canonConjunctionEquiv(const Theorem& thm) { in canonConjunctionEquiv() function in TheoryArithNew
434 TheoryArithOld::canonConjunctionEquiv(const Theorem& thm) { in canonConjunctionEquiv() function in TheoryArithOld