Home
last modified time | relevance | path

Searched defs:scoped_watch (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dstopwatch.h83 struct scoped_watch { struct
85 scoped_watch (stopwatch &sw, bool reset=false): m_sw(sw) { in m_sw() argument
89 ~scoped_watch() { in ~scoped_watch() argument
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dstopwatch.h83 struct scoped_watch { struct
85 scoped_watch (stopwatch &sw, bool reset=false): m_sw(sw) { in m_sw() argument
89 ~scoped_watch() { in ~scoped_watch() argument
/dports/math/z3/z3-z3-4.8.13/src/cmd_context/
H A Dcmd_context.h187 struct scoped_watch { struct
190 scoped_watch(cmd_context & ctx):m_ctx(ctx) { m_ctx.m_watch.reset(); m_ctx.m_watch.start(); } in scoped_watch() function
191 ~scoped_watch() { m_ctx.m_watch.stop(); } in ~scoped_watch() argument
/dports/math/py-z3-solver/z3-z3-4.8.10/src/cmd_context/
H A Dcmd_context.h175 struct scoped_watch { struct
178 scoped_watch(cmd_context & ctx):m_ctx(ctx) { m_ctx.m_watch.reset(); m_ctx.m_watch.start(); } in scoped_watch() argument
179 ~scoped_watch() { m_ctx.m_watch.stop(); } in ~scoped_watch() argument