38 #ifndef __GECODE_SEARCH_WORKER_HH__
39 #define __GECODE_SEARCH_WORKER_HH__
43 namespace Gecode {
namespace Search {
64 void reset(
unsigned long int d=0);
68 unsigned long int steal_depth(
unsigned long int d)
const;
75 : _stopped(false), root_depth(0) {}
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.
unsigned long int steal_depth(unsigned long int d) const
Return steal depth.
bool stop(const Options &o)
Check whether engine must be stopped.