about summary refs log tree commit diff
path: root/src/fix-ng/fix-expr.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-05T16·27+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-05T16·27+0000
commitfa18f1f184ba89b3dfe592e77a276da42d326f42 (patch)
tree886b09a52f176178190f24c095192fac32b11bab /src/fix-ng/fix-expr.hh
parente17e95a82892b31c8063f2ace1b21c79e82e6f6d (diff)
* Assertions.
* Logical operators (!, &&, ||, ->).

Diffstat (limited to 'src/fix-ng/fix-expr.hh')
-rw-r--r--src/fix-ng/fix-expr.hh4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/fix-ng/fix-expr.hh b/src/fix-ng/fix-expr.hh
index 93a010abeda6..6c1e51d9ccd6 100644
--- a/src/fix-ng/fix-expr.hh
+++ b/src/fix-ng/fix-expr.hh
@@ -45,7 +45,6 @@ public:
 ATerm string2ATerm(const string & s);
 string aterm2String(ATerm t);
 
-
 /* Generic bottomup traversal over ATerms.  The traversal first
    recursively descends into subterms, and then applies the given term
    function to the resulting term. */
@@ -69,5 +68,8 @@ Expr makeAttrs(const ATermMap & attrs);
 /* Perform a set of substitutions on an expression. */
 Expr substitute(const ATermMap & subs, Expr e);
 
+/* Create an expression representing a boolean. */
+Expr makeBool(bool b);
+
 
 #endif /* !__FIXEXPR_H */