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

Method restart

gecode/search/stop.cpp:54–57  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

52 return new TimeStop(l);
53 }
54 Stop*
55 Stop::restart(unsigned long long int l) {
56 return new RestartStop(l);
57 }
58
59
60 /*

Callers 4

slaveMethod · 0.45
createBranchersMethod · 0.45
runEngineMethod · 0.45
slaveMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected