introduce make_boolean_expr

This is a type-safe drop-in replacement for exprt::make_bool(value).

Author: Daniel Kroening

src/util/std_expr.cpp

@@ -25,6 +25,14 @@ bool constant_exprt::value_is_zero_string() const
   return val.find_first_not_of('0')==std::string::npos;
 }
 
+constant_exprt make_boolean_expr(bool value)
+{
+  if(value)
+    return true_exprt();
+  else
+    return false_exprt();
+}
+
 exprt disjunction(const exprt::operandst &op)
 {
   if(op.empty())

src/util/std_expr.h

@@ -4121,6 +4121,9 @@ class false_exprt:public constant_exprt
   }
 };
 
+/// \brief returns true_exprt if given true and false_exprt otherwise
+constant_exprt make_boolean_expr(bool);
+
 /// \brief The NIL expression
 class nil_exprt : public nullary_exprt
 {