Searched refs:canonPredEquiv (Results 1 – 6 of 6) sorted by relevance
404 TheoryArith3::canonPredEquiv(const Theorem& thm) { in canonPredEquiv() function in TheoryArith32359 thm = canonPredEquiv(thm); in normalize()2367 thm = canonPredEquiv(thm); in normalize()2414 thm = canonPredEquiv(thm); in rewrite()2423 thm = canonPredEquiv(thm); in rewrite()2459 thm = canonPredEquiv(thm); in rewrite()2468 thm = canonPredEquiv(thm); in rewrite()2482 thm = canonPredEquiv(thm); in rewrite()2489 thm = canonPredEquiv(thm); in rewrite()
417 TheoryArithOld::canonPredEquiv(const Theorem& thm) { in canonPredEquiv() function in TheoryArithOld3035 thm = canonPredEquiv(thm); in normalize()3048 thm = canonPredEquiv(thm); in normalize()3131 thm = canonPredEquiv(thm); in rewrite()3141 thm = canonPredEquiv(thm); in rewrite()3270 thm = canonPredEquiv(thm); in rewrite()3280 thm = canonPredEquiv( in rewrite()3292 thm = canonPredEquiv(thm); in rewrite()3308 thm = canonPredEquiv(thm); in rewrite()3318 thm = canonPredEquiv( in rewrite()[all …]
295 Theorem TheoryArithNew::canonPredEquiv(const Theorem& thm) { in canonPredEquiv() function in TheoryArithNew1511 thm = canonPredEquiv(thm); in normalize()1652 thm = canonPredEquiv(thm); in rewrite()
176 Theorem canonPredEquiv(const Theorem& thm);
162 Theorem canonPredEquiv(const Theorem& thm);
200 Theorem canonPredEquiv(const Theorem& thm);