From 7d5bfd9d9072161cb9027ea4e90dc7eb7147242c Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Mon, 18 Nov 2024 16:40:02 +0000 Subject: [PATCH] add multi-ary constructor for mult_exprt This adds a constructor to mult_exprt that takes a vector of factors. --- src/util/std_expr.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/util/std_expr.h b/src/util/std_expr.h index d9ca4f64bab..4fb4661ba78 100644 --- 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 <>