MCPcopy Create free account
hub / github.com/Gecode/gecode / restart

Method restart

gecode/search/cpprofiler/connector.hpp:357–371  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

355 }
356
357 inline void
358 Connector::restart(int restart_id) {
359
360 std::string info{""};
361 {
362 std::stringstream ss;
363 ss << "{";
364 ss << "\"restart_id\": " << restart_id << "\n";
365 ss << "}";
366 info = ss.str();
367 }
368
369 marshalling.makeRestart(info);
370 sendOverSocket();
371 }
372
373 inline void
374 Connector::done() {

Callers 1

roundMethod · 0.45

Calls 2

makeRestartMethod · 0.80
strMethod · 0.45

Tested by

no test coverage detected