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