コード例 #1
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 var mk_var(bool is_int) override { return m_ctx.mk_var(is_int); }
コード例 #2
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual var mk_var(bool is_int) { return m_ctx.mk_var(is_int); }