1 /********************* */
2 /*! \file rewriter_tables_template.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.
22 #include "theory/rewriter.h"
23 #include "theory/rewriter_attributes.h"
30 RewriteResponse
Rewriter::callPreRewrite(theory::TheoryId theoryId
, TNode node
) {
38 RewriteResponse
Rewriter::callPostRewrite(theory::TheoryId theoryId
, TNode node
) {
46 Node
Rewriter::getPreRewriteCache(theory::TheoryId theoryId
, TNode node
) {
48 $
{pre_rewrite_get_cache
}
54 Node
Rewriter::getPostRewriteCache(theory::TheoryId theoryId
, TNode node
) {
56 $
{post_rewrite_get_cache
}
62 void Rewriter::setPreRewriteCache(theory::TheoryId theoryId
, TNode node
, TNode cache
) {
64 $
{pre_rewrite_set_cache
}
70 void Rewriter::setPostRewriteCache(theory::TheoryId theoryId
, TNode node
, TNode cache
) {
72 $
{post_rewrite_set_cache
}
78 void Rewriter::init() {
82 void Rewriter::shutdown() {
86 }/* CVC4::theory namespace */