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); }