1 files changed, 69 insertions, 0 deletions
diff --git a/src/theory/rewriter_tables_template.h b/src/theory/rewriter_tables_template.h
new file mode 100644
index 000000000..e26c879e4
--- /dev/null
+++ b/src/theory/rewriter_tables_template.h
@@ -0,0 +1,69 @@
+#pragma once
+
+#include "theory/rewriter.h"
+#include "theory/rewriter_attributes.h"
+
+${rewriter_includes}
+
+namespace CVC4 {
+namespace theory {
+
+RewriteResponse Rewriter::callPreRewrite(theory::TheoryId theoryId, TNode node) {
+  switch(theoryId) {
+${pre_rewrite_calls}
+  default:
+    Unreachable();
+  }
+}
+
+RewriteResponse Rewriter::callPostRewrite(theory::TheoryId theoryId, TNode node) {
+  switch(theoryId) {
+${post_rewrite_calls}
+  default:
+    Unreachable();
+  }
+}
+
+Node Rewriter::getPreRewriteCache(theory::TheoryId theoryId, TNode node) {
+  switch(theoryId) {
+${pre_rewrite_get_cache}
+  default:
+    Unreachable();
+  }
+}
+
+Node Rewriter::getPostRewriteCache(theory::TheoryId theoryId, TNode node) {
+  switch(theoryId) {
+${post_rewrite_get_cache}
+    default:
+    Unreachable();
+  }
+}
+
+void Rewriter::setPreRewriteCache(theory::TheoryId theoryId, TNode node, TNode cache) {
+  switch(theoryId) {
+${pre_rewrite_set_cache}
+  default:
+    Unreachable();
+  }
+}
+
+void Rewriter::setPostRewriteCache(theory::TheoryId theoryId, TNode node, TNode cache) {
+  switch(theoryId) {
+${post_rewrite_set_cache}
+  default:
+    Unreachable();
+  }
+}
+
+
+void Rewriter::init() {
+${rewrite_init}
+}
+
+void Rewriter::shutdown() {
+${rewrite_shutdown}
+}
+
+}
+}