diff options
Diffstat (limited to 'src/theory/arith/arith_rewriter.h')
-rw-r--r-- | src/theory/arith/arith_rewriter.h | 21 |
1 files changed, 8 insertions, 13 deletions
diff --git a/src/theory/arith/arith_rewriter.h b/src/theory/arith/arith_rewriter.h index de6b3f228..600f38d4f 100644 --- a/src/theory/arith/arith_rewriter.h +++ b/src/theory/arith/arith_rewriter.h @@ -21,24 +21,19 @@ #define CVC4__THEORY__ARITH__ARITH_REWRITER_H #include "theory/theory.h" -#include "theory/rewriter.h" +#include "theory/theory_rewriter.h" namespace CVC4 { namespace theory { namespace arith { -class ArithRewriter { -public: - - static RewriteResponse preRewrite(TNode n); - static RewriteResponse postRewrite(TNode n); - - static void init() { } - - static void shutdown() { } - -private: +class ArithRewriter : public TheoryRewriter +{ + public: + RewriteResponse preRewrite(TNode n) override; + RewriteResponse postRewrite(TNode n) override; + private: static Node makeSubtractionNode(TNode l, TNode r); static Node makeUnaryMinusNode(TNode n); @@ -70,7 +65,7 @@ private: return !isAtom(n); } -};/* class ArithRewriter */ +}; /* class ArithRewriter */ }/* CVC4::theory::arith namespace */ }/* CVC4::theory namespace */ |