Searched refs:rewriteXNOR (Results 1 – 4 of 4) sorted by relevance
290 virtual Theorem rewriteXNOR(const Expr& e) = 0;
335 Theorem rewriteXNOR(const Expr& e);
1393 res = d_rules->rewriteXNOR(e); in rewriteBV()
2181 Theorem BitvectorTheoremProducer::rewriteXNOR(const Expr& e) in rewriteXNOR() function in BitvectorTheoremProducer