Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ nodeUID
Method
nodeUID
cp-profiler/src/cpp-integration/connector.hpp:99–99 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
97
NodeStatus status() const { return status_; }
98
99
NodeUID nodeUID() const { return node_; }
100
NodeUID parentUID() const { return parent_; }
101
102
int node_id() const { return node_.nid; }
Callers
3
sendNode
Method · 0.45
tree_builder.cpp
File · 0.45
handleNode
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected