Searched defs:trustedRewrite (Results 1 – 3 of 3) sorted by relevance
3036 Theorem ArithTheoremProducer::trustedRewrite(const Expr& expr1, const Expr& expr2) { in trustedRewrite() function in ArithTheoremProducer
2938 Theorem ArithTheoremProducer3::trustedRewrite(const Expr& expr1, const Expr& expr2) { in trustedRewrite() function in ArithTheoremProducer3
3217 Theorem ArithTheoremProducerOld::trustedRewrite(const Expr& expr1, const Expr& expr2) { in trustedRewrite() function in ArithTheoremProducerOld