diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-05T16·27+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-05T16·27+0000 |
| commit | fa18f1f184ba89b3dfe592e77a276da42d326f42 (patch) | |
| tree | 886b09a52f176178190f24c095192fac32b11bab /src/fix-ng/fix-expr.hh | |
| parent | e17e95a82892b31c8063f2ace1b21c79e82e6f6d (diff) | |
* Assertions.
* Logical operators (!, &&, ||, ->).
Diffstat (limited to 'src/fix-ng/fix-expr.hh')
| -rw-r--r-- | src/fix-ng/fix-expr.hh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/fix-ng/fix-expr.hh b/src/fix-ng/fix-expr.hh index 93a010abed..6c1e51d9cc 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 */ |