34 #ifndef __GECODE_SEARCH_WORKER_HH__ 35 #define __GECODE_SEARCH_WORKER_HH__ 39 namespace Gecode {
namespace Search {
60 void reset(
unsigned long int d=0);
64 unsigned long int steal_depth(
unsigned long int d)
const;
unsigned long int steal_depth(unsigned long int d) const
Return steal depth.
unsigned long int depth
Maximum depth of search stack.
bool stopped(void) const
Check whether engine has been stopped.
void start(void)
Reset stop information.
unsigned long int root_depth
Depth of root node (for work stealing)
bool _stopped
Whether engine has been stopped.
void stack_depth(unsigned long int d)
Record stack depth d.
Stop * stop
Stop object for stopping search.
Gecode toplevel namespace
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
bool stop(const Options &o)
Check whether engine must be stopped.