Merge pull request #8510 from diffblue/mult_exprt

tautschnig · web-flow · commit 01357a0a10c0 · 2024-11-20T11:01:50.000+02:00
add multi-ary constructor for `mult_exprt`
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1110,6 +1110,11 @@ class mult_exprt:public multi_ary_exprt
     : multi_ary_exprt(std::move(_lhs), ID_mult, std::move(_rhs))
   {
   }
+
+  mult_exprt(exprt::operandst factors, typet type)
+    : multi_ary_exprt(ID_mult, std::move(factors), std::move(type))
+  {
+  }
 };
 
 template <>

Original file line number	Diff line number	Diff line change
`@@ -1110,6 +1110,11 @@ class mult_exprt:public multi_ary_exprt`
`1110`	`1110`	`: multi_ary_exprt(std::move(_lhs), ID_mult, std::move(_rhs))`
`1111`	`1111`	`{`
`1112`	`1112`	`}`
	`1113`	`+`
	`1114`	`+ mult_exprt(exprt::operandst factors, typet type)`
	`1115`	`+ : multi_ary_exprt(ID_mult, std::move(factors), std::move(type))`
	`1116`	`+ {`
	`1117`	`+ }`
`1113`	`1118`	`};`
`1114`	`1119`
`1115`	`1120`	`template <>`