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

Method isDone

cp-profiler/src/cpprofiler/tree/node_tree.hh:82–82  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

80 void setDone() { is_done_ = true; }
81
82 bool isDone() const { return is_done_; }
83
84 /// *************************** Tree Modifiers ***************************
85

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected