
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 ) |