在Z3'中设置漂亮的打印机线宽；s C++；美国石油学会 我试图用C++ API改变Z3漂亮的打印机使用的线宽。我发现在z3/src/ast/pp_params.pyg中有一个标志，叫做max_width，但我不知道如何设置它。

它是设置max_width和max_ribbon的组合

例如：

包括“z3++.h”

void main（）{
z3：：设置参数（“pp.max_width”，1000）；
z3：：设置参数（“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它是设置最大宽度和最大色带的组合

例如：


包括“z3++.h”

void main（）{
z3：：设置参数（“pp.max_width”，1000）；
z3：：设置参数（“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；
标准：：cout