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

Method run

gecode/driver/script.hpp:300–313  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

298 template<class BaseSpace>
299 template<class Script, template<class> class Engine, class Options>
300 void
301 ScriptBase<BaseSpace>::run(const Options& o, Script* s) {
302 if ((o.restart() != RM_NONE) && (o.assets() > 0)) {
303 std::cerr << "Cannot use restarts and portfolio..." << std::endl;
304 exit(EXIT_FAILURE);
305 }
306 if (o.restart() != RM_NONE) {
307 runMeta<Script,Engine,Options,RBS>(o,s);
308 } else if (o.assets() > 0) {
309 runMeta<Script,Engine,Options,PBS>(o,s);
310 } else {
311 runMeta<Script,Engine,Options,EngineToMeta>(o,s);
312 }
313 }
314
315 template<class BaseSpace>
316 template<class Script, template<class> class Engine, class Options,

Callers

nothing calls this directly

Calls 2

assetsMethod · 0.80
restartMethod · 0.45

Tested by

no test coverage detected