Add a cond_exprt constructor

tautschnig · Daniel Kroening · commit 81630475840f · 2019-01-14T17:58:37.000Z
The existing constructor requires a deprecated parent constructor.
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -4922,6 +4922,11 @@ class cond_exprt : public multi_ary_exprt
   {
   }
 
+  cond_exprt(operandst &&_operands, const typet &_type)
+    : multi_ary_exprt(ID_cond, std::move(_operands), _type)
+  {
+  }
+
   /// adds a case to a cond expression
   /// \param condition: the condition for the case
   /// \param value: the value for the case

Original file line number	Diff line number	Diff line change
`@@ -4922,6 +4922,11 @@ class cond_exprt : public multi_ary_exprt`
`4922`	`4922`	`{`
`4923`	`4923`	`}`
`4924`	`4924`
	`4925`	`+ cond_exprt(operandst &&_operands, const typet &_type)`
	`4926`	`+ : multi_ary_exprt(ID_cond, std::move(_operands), _type)`
	`4927`	`+ {`
	`4928`	`+ }`
	`4929`	`+`
`4925`	`4930`	`/// adds a case to a cond expression`
`4926`	`4931`	`/// \param condition: the condition for the case`
`4927`	`4932`	`/// \param value: the value for the case`