34 #ifndef __GECODE_SEARCH_SUPPORT_HH__ 35 #define __GECODE_SEARCH_SUPPORT_HH__ 39 namespace Gecode {
namespace Search {
43 snapshot(Space* s,
const Options& o);
46 template<
class Worker>
59 virtual bool stopped(
void)
const;
76 template<
class Worker>
79 template<
class Worker>
84 template<
class Worker>
87 return w.statistics();
89 template<
class Worker>
94 template<
class Worker>
99 template<
class Worker>
104 template<
class Worker>
Search engine implementation interface
void reset(unsigned long int d=0)
Reset statistics with root depth d.
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual void constrain(const Space &b)
Constrain future solutions to be better than b.
bool stopped(void) const
Check whether engine has been stopped.
virtual Search::Statistics statistics(void) const
Return statistics.
Space * clone(CloneStatistics &stat=unused_clone) const
Clone space.
bool clone
Whether engines create a clone when being initialized.
virtual NoGoods & nogoods(void)
Return no-goods.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
virtual void reset(Space *s)
Reset engine to restart at space s.
No-goods recorded from restarts.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
Gecode toplevel namespace
Virtualize a worker to an engine.
WorkerToEngine(Space *s, const Options &o)
Initialization.
Space * snapshot(Space *s, const Options &o)
Clone space s dependening on options o.
Worker w
The worker to wrap into an engine.