C++ (Cpp) CTX::set_display_procの例

コード例 #1

ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3

 void set_display_proc(display_var_proc * p) override { m_ctx.set_display_proc(p); }

コード例 #2

ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3

 virtual void set_display_proc(display_var_proc * p) { m_ctx.set_display_proc(p); }