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.cc | |
| parent | e17e95a82892b31c8063f2ace1b21c79e82e6f6d (diff) | |
* Assertions.
* Logical operators (!, &&, ||, ->).
Diffstat (limited to 'src/fix-ng/fix-expr.cc')
| -rw-r--r-- | src/fix-ng/fix-expr.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/fix-ng/fix-expr.cc b/src/fix-ng/fix-expr.cc index 6e73b29341..1ce4a55e47 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)"); +} |