在Z3的C ++ API中设置漂亮的打印机线宽

Question

我正在尝试使用C ++ API更改Z3漂亮打印机使用的线宽。我发现z3/src/ast/pp_params.pyg中有一个标记为max_width，但我不知道如何设置它。

Answer 1

这是设置max_width和max_ribbon的组合。

示例：

include "z3++.h"

void main() { z3::set_param("pp.max_width", 1000); z3::set_param("pp.max_ribbon", 1000); z3::context ctx; z3::expr x = ctx.bv_const("x", 10); z3::expr fml = x & x; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; fml = fml & fml; std::cout << fml << "\n"; }