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

Method master

examples/crossword.cpp:285–291  ·  view source on GitHub ↗

Do not perform a restart when a solution is found

Source from the content-addressed store, hash-verified

283 }
284 /// Do not perform a restart when a solution is found
285 bool master(const MetaInfo& mi) {
286 if (mi.type() == MetaInfo::RESTART)
287 // Post no-goods
288 mi.nogoods().post(*this);
289 // Do not perform a restart if a solution has been found
290 return false;
291 }
292
293 /// Constructor for cloning \a s
294 Crossword(Crossword& s)

Callers

nothing calls this directly

Calls 3

typeMethod · 0.45
postMethod · 0.45
nogoodsMethod · 0.45

Tested by

no test coverage detected