Home
last modified time | relevance | path

Searched refs:rewriteIteToOr (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dcore_theorem_producer.h70 Theorem rewriteIteToOr(const Expr& e);
H A Dcore_proof_rules.h91 virtual Theorem rewriteIteToOr(const Expr& e) = 0;
H A Dcore_theorem_producer.cpp467 CoreTheoremProducer::rewriteIteToOr(const Expr& e) in rewriteIteToOr() function in CoreTheoremProducer
H A Dtheory_core.cpp1047 thm = rewriteCore(d_rules->rewriteIteToOr(e)); in rewrite()