Meta search engine implementations More...
Namespaces | |
Parallel | |
Parallel meta search engine implementations | |
Sequential | |
Sequential meta search engine implementations | |
Classes | |
class | Dead |
A dead engine (failed root) More... | |
class | NoGoodsProp |
No-good propagator. More... | |
class | NoNGL |
Class for a sentinel no-good literal. More... | |
class | RBS |
Engine for restart-based search. More... | |
class | RestartStop |
Stop-object for restart engine More... | |
Functions | |
NGL * | disposenext (NGL *ngl, Space &home, Propagator &p, bool c) |
Help function to cancel and dispose a no-good literal. More... | |
template<class T , template< class > class E> | |
Engine * | sequential (T *master, const Search::Statistics &stat, Options &opt) |
Build a sequential engine. More... | |
template<class T , template< class > class E> | |
Engine * | sequential (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best) |
Build a sequential engine. More... | |
template<class T , template< class > class E> | |
Engine * | parallel (T *master, const Search::Statistics &stat, Options &opt) |
Build a parallel engine. More... | |
template<class T , template< class > class E> | |
Engine * | parallel (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best) |
Build a parallel engine. More... | |
Stop * | stop (Stop *so) |
Create stop object. More... | |
Engine * | engine (Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best) |
Create restart engine. More... | |
Meta search engine implementations
|
inline |
Help function to cancel and dispose a no-good literal.
Definition at line 44 of file nogoods.cpp.
Engine * Gecode::Search::Meta::sequential | ( | T * | master, |
const Search::Statistics & | stat, | ||
Options & | opt | ||
) |
Engine * Gecode::Search::Meta::sequential | ( | T * | master, |
SEBs & | sebs, | ||
const Search::Statistics & | stat, | ||
Options & | opt, | ||
bool | best | ||
) |
Engine * Gecode::Search::Meta::parallel | ( | T * | master, |
const Search::Statistics & | stat, | ||
Options & | opt | ||
) |
Engine * Gecode::Search::Meta::parallel | ( | T * | master, |
SEBs & | sebs, | ||
const Search::Statistics & | stat, | ||
Options & | opt, | ||
bool | best | ||
) |