Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ setSolverData
Method
setSolverData
cp-profiler/src/cpprofiler/tree/node_tree.cpp:23–26 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
21
NodeTree::~NodeTree() = default;
22
23
void NodeTree::setSolverData(std::shared_ptr<SolverData> sd)
24
{
25
solver_data_ = sd;
26
}
27
28
void NodeTree::setNameMap(std::shared_ptr<const NameMap> nm)
29
{
Callers
1
Execution
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected