Method stop

gecode/search/stop.cpp:64–67 · view source on GitHub ↗

* Stopping for node limit * */

Source from the content-addressed store, hash-verified

62	*
63	*/
64	bool
65	NodeStop::stop(const Statistics& s, const Options&) {
66	return s.node > l;
67	}
68
69
70	/*

runMetaMethod · 0.45

statusChangedMethod · 0.45

timerEventMethod · 0.45

zoomToFitMethod · 0.45

centerCurrentNodeMethod · 0.45

no outgoing calls

no test coverage detected