Searched defs:NodeStop (Results 1 – 2 of 2) sorted by relevance
52 NodeStop::NodeStop(unsigned long long int l0) : l(l0) {} in NodeStop() function in Gecode::Search::NodeStop
830 class GECODE_SEARCH_EXPORT NodeStop : public Stop { class