36 namespace Gecode {
namespace Search {
namespace Seq {
40 if ((so != NULL) && so->
stop(s,o)) {
44 if (s.
fail >= ssi->
l) {
unsigned long int fail
Number of failed nodes in search tree.
virtual bool stop(const Statistics &s, const Options &o)
Return true if portfolio engine must be stopped.
bool done
Whether search stopped because the slice is done.
Gecode toplevel namespace
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
unsigned long int l
The current failure limit, incremented for each slice.