34#ifndef __GECODE_SEARCH_SUPPORT_HH__
35#define __GECODE_SEARCH_SUPPORT_HH__
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>
No-goods recorded from restarts.
Search engine implementation interface
bool clone
Whether engines create a clone when being initialized.
virtual void reset(Space *s)
Reset engine to restart at space s.
virtual void constrain(const Space &b)
Constrain future solutions to be better than b.
WorkerToEngine(Space *s, const Options &o)
Initialization.
virtual bool stopped(void) const
Check whether engine has been stopped.
Worker w
The worker to wrap into an engine.
virtual NoGoods & nogoods(void)
Return no-goods.
virtual Search::Statistics statistics(void) const
Return statistics.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
Space * clone(CloneStatistics &stat=unused_clone) const
Clone space.
Space * snapshot(Space *s, const Options &o)
Clone space s dependening on options o.
Gecode toplevel namespace