C++ (Cpp) CTX::display_bounds Examples

Example #1

File: subpaving.cpp Project: chadbrewbaker/z3

 void display_bounds(std::ostream & out) const override { m_ctx.display_bounds(out); }

Example #2

File: subpaving.cpp Project: AleksandarZeljic/z3

 virtual void display_bounds(std::ostream & out) const { m_ctx.display_bounds(out); }