Search engines More...
Namespaces | |
namespace | Parallel |
Parallel search engine implementations | |
namespace | Sequential |
Sequential search engine implementations | |
namespace | Config |
Search configuration |
Classes | |
class | WorkerToEngine |
Virtualize a worker to an engine. More... | |
class | Worker |
Search worker control including memory information More... | |
class | Statistics |
Search engine statistics More... | |
class | Options |
Search engine options More... | |
class | Stop |
Base-class for Stop-object. More... | |
class | MemoryStop |
Stop-object based on memory consumption More... | |
class | NodeStop |
Stop-object based on number of nodes More... | |
class | FailStop |
Stop-object based on number of failures More... | |
class | TimeStop |
Stop-object based on time More... | |
class | Engine |
Search engine interface More... |
Functions | |
Engine * | bab (Space *s, size_t sz, const Options &o) |
Create branch and bound engine. | |
Engine * | dfs (Space *s, size_t sz, const Options &o) |
Create depth-first engine. | |
Engine * | restart (Space *s, size_t sz, const Options &o) |
Create restart engine. | |
Space * | snapshot (Space *s, const Options &o, bool share=true) |
Clone space s dependening on options o. |
Search engines
Engine * Gecode::Search::bab | ( | Space * | s, |
size_t | sz, | ||
const Options & | o | ||
) |
Engine * Gecode::Search::dfs | ( | Space * | s, |
size_t | sz, | ||
const Options & | o | ||
) |
Engine * Gecode::Search::restart | ( | Space * | s, |
size_t | sz, | ||
const Options & | o | ||
) |
Create restart engine.
Definition at line 48 of file restart.cpp.
|
inline |
Clone space s dependening on options o.
Definition at line 47 of file support.hh.