MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / doesRestarts

Method doesRestarts

cp-profiler/src/cpprofiler/execution.cpp:36–36  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

34}
35
36bool Execution::doesRestarts() const { return m_is_restarts; }
37
38} // namespace cpprofiler

Callers 1

handleNodeMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected