Classes | |
class | BAB |
Implementation of depth-first branch-and-bound search engine. More... | |
class | Dead |
A dead engine (failed root) More... | |
class | DFS |
Depth-first search engine implementation. More... | |
class | LDS |
Limited discrepancy search engine implementation. More... | |
class | Path |
Depth-first path (stack of edges) supporting recomputation. More... | |
class | PBS |
Sequential portfolio engine implementation. More... | |
class | PortfolioStop |
Stop object used for controling slaves in a portfolio. More... | |
class | Probe |
Probe engine for LDS More... | |
class | RBS |
Engine for restart-based search. More... | |
class | RestartStop |
Stop-object for restart engine More... | |
class | SharedStopInfo |
Shared stop information. More... | |
class | Slave |
Runnable slave of a portfolio master. More... | |
Functions | |
Stop * | pbsstop (Stop *so) |
Create stop object. | |
Engine * | pbsengine (Engine **slaves, Stop **stops, unsigned int n_slaves, const Statistics &stat, const Search::Options &opt, bool best) |
Create sequential portfolio engine. | |
Stop * | rbsstop (Stop *so) |
Create stop object. | |
Engine * | rbsengine (Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best) |
Create restart engine. | |
Engine * | dead (const Options &o, const Statistics &stat) |
Engine * Gecode::Search::Seq::pbsengine | ( | Engine ** | slaves, |
Stop ** | stops, | ||
unsigned int | n_slaves, | ||
const Statistics & | stat, | ||
const Search::Options & | opt, | ||
bool | best ) |
Engine * Gecode::Search::Seq::dead | ( | const Options & | o, |
const Statistics & | stat ) |