C++ (Cpp) CTX::mk_var示例

示例#1

文件： subpaving.cpp 项目： chadbrewbaker/z3

 var mk_var(bool is_int) override { return m_ctx.mk_var(is_int); }

示例#2

文件： subpaving.cpp 项目： AleksandarZeljic/z3

 virtual var mk_var(bool is_int) { return m_ctx.mk_var(is_int); }