Home
last modified time | relevance | path

Searched refs:rewriteNotIff (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dcore_theorem_producer.h54 Theorem rewriteNotIff(const Expr& e);
H A Dcore_proof_rules.h54 virtual Theorem rewriteNotIff(const Expr& e) = 0;
H A Dcore_theorem_producer.cpp110 CoreTheoremProducer::rewriteNotIff(const Expr& e) { in rewriteNotIff() function in CoreTheoremProducer