コード例 #1
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 void display_bounds(std::ostream & out) const override { m_ctx.display_bounds(out); }
コード例 #2
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual void display_bounds(std::ostream & out) const { m_ctx.display_bounds(out); }