38 #ifndef __GECODE_SEARCH_SUPPORT_HH__
39 #define __GECODE_SEARCH_SUPPORT_HH__
43 namespace Gecode {
namespace Search {
47 snapshot(Space* s,
const Options& o,
bool share=
true);
50 template<
class Worker>
63 virtual bool stopped(
void)
const;
78 template<
class Worker>
81 template<
class Worker>
86 template<
class Worker>
89 return w.statistics();
91 template<
class Worker>
96 template<
class Worker>
102 template<
class Worker>
Search engine implementation interface
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
virtual Search::Statistics statistics(void) const
Return statistics.
bool clone
Whether engines create a clone when being initialized.
virtual NoGoods & nogoods(void)
Return no-goods.
virtual void reset(Space *s)
Reset engine to restart at space s.
No-goods recorded from restarts.
Space * snapshot(Space *s, const Options &o, bool share=true)
Clone space s dependening on options o.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
virtual bool stopped(void) const
Check whether engine has been stopped.
Gecode toplevel namespace
Virtualize a worker to an engine.
WorkerToEngine(Space *s, const Options &o)
Initialization.
Worker w
The worker to wrap into an engine.