Searched refs:rewriteNotIff (Results 1 – 3 of 3) sorted by relevance
54 Theorem rewriteNotIff(const Expr& e);
54 virtual Theorem rewriteNotIff(const Expr& e) = 0;
110 CoreTheoremProducer::rewriteNotIff(const Expr& e) { in rewriteNotIff() function in CoreTheoremProducer