diff options
Diffstat (limited to 'src/expr/expr_manager_template.h')
-rw-r--r-- | src/expr/expr_manager_template.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index e20edfb42..460e3f1dc 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -345,10 +345,17 @@ public: /** * Make a tuple type with types from * <code>types[0..types.size()-1]</code>. <code>types</code> must - * have at least 2 elements. + * have at least one element. */ TupleType mkTupleType(const std::vector<Type>& types); + /** + * Make a symbolic expressiontype with types from + * <code>types[0..types.size()-1]</code>. <code>types</code> may + * have any number of elements. + */ + SExprType mkSExprType(const std::vector<Type>& types); + /** Make a type representing a bit-vector of the given size. */ BitVectorType mkBitVectorType(unsigned size) const; |