constructors for multi-ary expressions with operand type

This adds a new constructor to the base class multi_ary_exprt and classes
derived from that.  The new constructor takes a non-empty sequence of
operands, and takes the type of the expression from the type of the first
operand.

Author: kroening

src/util/bitvector_expr.h

@@ -131,6 +131,11 @@ class bitor_exprt : public multi_ary_exprt
   {
   }
 
+  explicit bitor_exprt(exprt::operandst _operands)
+    : multi_ary_exprt(ID_bitor, std::move(_operands))
+  {
+  }
+
   bitor_exprt(exprt::operandst _operands, typet _type)
     : multi_ary_exprt(ID_bitor, std::move(_operands), std::move(_type))
   {
@@ -177,6 +182,11 @@ class bitnor_exprt : public multi_ary_exprt
   {
   }
 
+  explicit bitnor_exprt(exprt::operandst _operands)
+    : multi_ary_exprt(ID_bitnor, std::move(_operands))
+  {
+  }
+
   bitnor_exprt(exprt::operandst _operands, typet _type)
     : multi_ary_exprt(ID_bitnor, std::move(_operands), std::move(_type))
   {
@@ -219,6 +229,11 @@ class bitxor_exprt : public multi_ary_exprt
   {
   }
 
+  explicit bitxor_exprt(exprt::operandst _operands)
+    : multi_ary_exprt(ID_bitxor, std::move(_operands))
+  {
+  }
+
   bitxor_exprt(exprt::operandst _operands, typet _type)
     : multi_ary_exprt(ID_bitxor, std::move(_operands), std::move(_type))
   {
@@ -265,6 +280,11 @@ class bitxnor_exprt : public multi_ary_exprt
   {
   }
 
+  explicit bitxnor_exprt(exprt::operandst _operands)
+    : multi_ary_exprt(ID_bitxnor, std::move(_operands))
+  {
+  }
+
   bitxnor_exprt(exprt::operandst _operands, typet _type)
     : multi_ary_exprt(ID_bitxnor, std::move(_operands), std::move(_type))
   {
@@ -309,6 +329,11 @@ class bitand_exprt : public multi_ary_exprt
   {
   }
 
+  explicit bitand_exprt(exprt::operandst _operands)
+    : multi_ary_exprt(ID_bitand, std::move(_operands))
+  {
+  }
+
   bitand_exprt(exprt::operandst _operands, typet _type)
     : multi_ary_exprt(ID_bitand, std::move(_operands), std::move(_type))
   {
@@ -355,6 +380,11 @@ class bitnand_exprt : public multi_ary_exprt
   {
   }
 
+  explicit bitnand_exprt(exprt::operandst _operands)
+    : multi_ary_exprt(ID_bitnand, std::move(_operands))
+  {
+  }
+
   bitnand_exprt(exprt::operandst _operands, typet _type)
     : multi_ary_exprt(ID_bitnand, std::move(_operands), std::move(_type))
   {

src/util/std_expr.h

@@ -917,6 +917,14 @@ class multi_ary_exprt : public expr_protectedt
     operands() = std::move(_operands);
   }
 
+  multi_ary_exprt(const irep_idt &_id, operandst _operands)
+    : expr_protectedt(_id, typet{})
+  {
+    PRECONDITION(!_operands.empty());
+    type() = _operands.front().type();
+    operands() = std::move(_operands);
+  }
+
   multi_ary_exprt(const exprt &_lhs, const irep_idt &_id, exprt _rhs)
     : expr_protectedt(_id, _lhs.type(), {_lhs, std::move(_rhs)})
   {
@@ -1015,6 +1023,11 @@ class plus_exprt:public multi_ary_exprt
   {
   }
 
+  explicit plus_exprt(operandst _operands)
+    : multi_ary_exprt(ID_plus, std::move(_operands))
+  {
+  }
+
   plus_exprt(operandst _operands, typet _type)
     : multi_ary_exprt(ID_plus, std::move(_operands), std::move(_type))
   {
@@ -1111,6 +1124,11 @@ class mult_exprt:public multi_ary_exprt
   {
   }
 
+  explicit mult_exprt(exprt::operandst factors)
+    : multi_ary_exprt(ID_mult, std::move(factors))
+  {
+  }
+
   mult_exprt(exprt::operandst factors, typet type)
     : multi_ary_exprt(ID_mult, std::move(factors), std::move(type))
   {