如何从expr_vector中提取expr数组

Question

为了使用以下func_decl成员c++ api：

expr operator()(unsigned n, expr const * args) const

我正在寻找一种将函数应用于其中的所有参数的expr_vector转换为一个expr数组的方法。

路是什么？是否有必要增加

expr operator()(expr_vector & args) const

在c++ API中？

比尔，亚历山大。

Answer 1

您可能使用的是较早版本的Z3；此函数：

expr operator()(expr_vector const& v) const;

已经添加到Z3不稳定分支中的代码中。