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