1 /********************* */
2 /*! \file rewriter_tables.h
4 ** Original author: dejan
5 ** Major contributors: mdeters
6 ** Minor contributors (to current version): none
7 ** This file is part of the CVC4 prototype.
8 ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys)
9 ** Courant Institute of Mathematical Sciences
10 ** New York University
11 ** See the file COPYING in the top-level source directory for licensing
12 ** information.\endverbatim
14 ** \brief Rewriter tables for various theories
16 ** This file contains template code for the rewriter tables that are generated
17 ** from the Theory kinds files.
20 #include "cvc4_private.h"
24 #include "theory/rewriter.h"
25 #include "theory/rewriter_attributes.h"
32 RewriteResponse
Rewriter::callPreRewrite(theory::TheoryId theoryId
, TNode node
) {
40 RewriteResponse
Rewriter::callPostRewrite(theory::TheoryId theoryId
, TNode node
) {
48 Node
Rewriter::getPreRewriteCache(theory::TheoryId theoryId
, TNode node
) {
50 $
{pre_rewrite_get_cache
}
56 Node
Rewriter::getPostRewriteCache(theory::TheoryId theoryId
, TNode node
) {
58 $
{post_rewrite_get_cache
}
64 void Rewriter::setPreRewriteCache(theory::TheoryId theoryId
, TNode node
, TNode cache
) {
66 $
{pre_rewrite_set_cache
}
72 void Rewriter::setPostRewriteCache(theory::TheoryId theoryId
, TNode node
, TNode cache
) {
74 $
{post_rewrite_set_cache
}
80 void Rewriter::init() {
84 void Rewriter::shutdown() {
88 }/* CVC4::theory namespace */