Searched refs:rewriteIteToOr (Results 1 – 4 of 4) sorted by relevance
70 Theorem rewriteIteToOr(const Expr& e);
91 virtual Theorem rewriteIteToOr(const Expr& e) = 0;
467 CoreTheoremProducer::rewriteIteToOr(const Expr& e) in rewriteIteToOr() function in CoreTheoremProducer
1047 thm = rewriteCore(d_rules->rewriteIteToOr(e)); in rewrite()