Method setNodeId

cp-profiler/src/cpprofiler/solver_data.hh:69–72 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

67	}
68
69	void setNodeId(SolverID sid, NodeID nid)
70	{
71	m_id_map.addPair(sid, nid);
72	}
73
74	SolverID getSolverID(NodeID nid) const
75	{

handleNodeMethod · 0.80

addPairMethod · 0.80

no test coverage detected