34#ifndef __GECODE_SEARCH_WORKER_HH__
35#define __GECODE_SEARCH_WORKER_HH__
39namespace Gecode {
namespace Search {
60 void reset(
unsigned long int d=0);
64 unsigned long int steal_depth(
unsigned long int d)
const;
71 : _stopped(false), root_depth(0) {}
Stop * stop
Stop object for stopping search.
unsigned long int depth
Maximum depth of search stack.
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
bool _stopped
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(void) const
Check whether engine has been stopped.
unsigned long int steal_depth(unsigned long int d) const
Return steal depth.
bool stop(const Options &o)
Check whether engine must be stopped.
void stack_depth(unsigned long int d)
Record stack depth d.
void reset(void)
Reset information.
Gecode toplevel namespace