40 namespace Gecode {
namespace Search {
namespace Meta {
namespace Sequential {
44 if (s.
fail >= ssi->
l) {
48 return (so != NULL) && so->
stop(s,o);
unsigned long int fail
Number of failed nodes in search tree.
Gecode toplevel namespace
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.