about summary refs log tree commit diff
path: root/src/fix-ng/fix-expr.cc
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.cc
parente17e95a82892b31c8063f2ace1b21c79e82e6f6d (diff)
* Assertions.
* Logical operators (!, &&, ||, ->).

Diffstat (limited to 'src/fix-ng/fix-expr.cc')
-rw-r--r--src/fix-ng/fix-expr.cc6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/fix-ng/fix-expr.cc b/src/fix-ng/fix-expr.cc
index 6e73b29341ff..1ce4a55e475a 100644
--- a/src/fix-ng/fix-expr.cc
+++ b/src/fix-ng/fix-expr.cc
@@ -222,3 +222,9 @@ Expr substitute(const ATermMap & subs, Expr e)
 
     return e;
 }
+
+
+Expr makeBool(bool b)
+{
+    return b ? ATmake("Bool(True)") : ATmake("Bool(False)");
+}