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

Method setMetaData

cp-profiler/src/cpprofiler/conductor.cpp:205–214  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

203}
204
205void Conductor::setMetaData(int exec_id, const std::string &group_name,
206 const std::string &exec_name,
207 std::shared_ptr<NameMap> nm)
208{
209 exec_meta_.insert({exec_id, {group_name, exec_name, nm}});
210
211 qDebug() << "exec_id:" << exec_id;
212 qDebug() << "gr_name:" << group_name.c_str();
213 qDebug() << "ex_name:" << exec_name.c_str();
214}
215
216int Conductor::getListenPort() const
217{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected