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

示例#1

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

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

示例#2

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

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