* Bottomup rewrite function.

1 files changed, 27 insertions, 0 deletions

diff --git a/src/fix-ng/fix-expr.hh b/src/fix-ng/fix-expr.hh
new file mode 100644
index 0000000000..5c50e9170f
--- /dev/null
+++ b/src/fix-ng/fix-expr.hh
@@ -0,0 +1,27 @@
+#ifndef __FIXEXPR_H
+#define __FIXEXPR_H
+
+#include <aterm2.h>
+
+#include "util.hh"
+
+
+/* Fix expressions are represented as ATerms.  The maximal sharing
+   property of the ATerm library allows us to implement caching of
+   normals forms efficiently. */
+typedef ATerm Expr;
+
+
+/* Generic bottomup traversal over ATerms.  The traversal first
+   recursively descends into subterms, and then applies the given term
+   function to the resulting term. */
+
+struct TermFun
+{
+    virtual ATerm operator () (ATerm e) = 0;
+};
+
+ATerm bottomupRewrite(TermFun & f, ATerm e);
+
+
+#endif /* !__FIXEXPR_H */