Ejemplos de CTX::reset_statistics en C++ (Cpp)

Ejemplo n.º 1

Archivo: subpaving.cpp Proyecto: chadbrewbaker/z3

 void reset_statistics() override { m_ctx.reset_statistics(); }

Ejemplo n.º 2

Archivo: subpaving.cpp Proyecto: AleksandarZeljic/z3

 virtual void reset_statistics() { m_ctx.reset_statistics(); }