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

Method dirtyUp

cp-profiler/src/cpprofiler/tree/traditional_view.cpp:593–596  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

591}
592
593void TraditionalView::dirtyUp(NodeID nid)
594{
595 layout_computer_->dirtyUpLater(nid);
596}
597
598void TraditionalView::dirtyCurrentNodeUp()
599{

Callers

nothing calls this directly

Calls 1

dirtyUpLaterMethod · 0.80

Tested by

no test coverage detected