- Gecode
- Search

Search engines More...
Namespaces | |
| Config | |
| Search configuration | |
| Meta | |
| Meta search engine implementations | |
| Par | |
| Parallel | |
| Parallel search engine implementations | |
| Seq | |
| Sequential | |
| Sequential search engine implementations | |
Classes | |
| class | BabBuilder |
| A BAB engine builder. More... | |
| class | DfsBuilder |
| A DFS engine builder. More... | |
| class | UninitializedCutoff |
| Exception: Uninitialized cutoff for restart-based search More... | |
| class | NoAssets |
| Exception: No assets requested for portfolio-based search More... | |
| class | MixedBest |
| Exception: Mixed non-best and best solution search requested More... | |
| class | NoBest |
| Exception: Best solution search is not supported More... | |
| class | LdsBuilder |
| A DFS engine builder. More... | |
| class | NoNGL |
| Class for a sentinel no-good literal. More... | |
| class | NoGoodsProp |
| No-good propagator. More... | |
| class | PbsBuilder |
| A PBS engine builder. More... | |
| class | RbsBuilder |
| A RBS engine builder. More... | |
| class | WorkerToEngine |
| Virtualize a worker to an engine. More... | |
| class | WrapTraceRecorder |
| Recorder for engine events (for access control) More... | |
| class | TraceRecorder |
| Simple recorder for a search tracer. More... | |
| class | EdgeTraceRecorder |
| Recorder for a search tracer with edge information. More... | |
| class | NoTraceRecorder |
| Empty trace recorder. More... | |
| class | Worker |
| Search worker statistics More... | |
| class | Statistics |
| Search engine statistics More... | |
| class | Cutoff |
| Base class for cutoff generators for restart-based meta engine. More... | |
| class | CutoffConstant |
| Cutoff generator for constant sequence. More... | |
| class | CutoffLinear |
| Cutoff generator for linear sequence. More... | |
| class | CutoffLuby |
| Cutoff generator for the Luby sequence. More... | |
| class | CutoffGeometric |
| Cutoff generator for the geometric sequence. More... | |
| class | CutoffRandom |
| Cutoff generator for the random sequence. More... | |
| class | CutoffAppend |
| Cutoff generator appending two cutoff generators. More... | |
| class | CutoffMerge |
| Cutoff generator merging two cutoff generators. More... | |
| class | CutoffRepeat |
| Cutoff generator that repeats a cutoff from another cutoff generator. More... | |
| class | Options |
| Search engine options More... | |
| class | Stop |
| Base-class for Stop-object. 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 implementation interface More... | |
| class | Base |
| Base-class for search engines. More... | |
| class | Builder |
| A class for building search engines. More... | |
Functions | |
| Engine * | babengine (Space *s, const Options &o) |
| Create branch and bound engine. More... | |
| template<class T , class E > | |
| Engine * | build (Space *s, const Options &opt) |
| Build an engine of type E for a script T. More... | |
| Engine * | dfsengine (Space *s, const Options &o) |
| Create depth-first engine. More... | |
| Engine * | ldsengine (Space *s, const Options &o) |
| Create lds engine. More... | |
| 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 * | pbsseq (T *master, const Search::Statistics &stat, Options &opt) |
| template<class T , template< class > class E> | |
| Engine * | pbsseq (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best) |
| template<class T , template< class > class E> | |
| Engine * | pbspar (T *master, const Search::Statistics &stat, Options &opt) |
| template<class T , template< class > class E> | |
| Engine * | pbspar (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best) |
| template<class VarArgs , class Post > | |
| void | relax (Home home, const VarArgs &x, const VarArgs &sx, Rnd r, double p, Post &post) |
| Relax variables in x from solution sx with probability p. More... | |
| Space * | snapshot (Space *s, const Options &o) |
| Clone space s dependening on options o. More... | |
Search engines
|
inline |
Help function to cancel and dispose a no-good literal.
Definition at line 40 of file nogoods.cpp.
| Engine* Gecode::Search::pbsseq | ( | T * | master, |
| const Search::Statistics & | stat, | ||
| Options & | opt | ||
| ) |
| Engine* Gecode::Search::pbsseq | ( | T * | master, |
| SEBs & | sebs, | ||
| const Search::Statistics & | stat, | ||
| Options & | opt, | ||
| bool | best | ||
| ) |
| Engine* Gecode::Search::pbspar | ( | T * | master, |
| const Search::Statistics & | stat, | ||
| Options & | opt | ||
| ) |
| Engine* Gecode::Search::pbspar | ( | T * | master, |
| SEBs & | sebs, | ||
| const Search::Statistics & | stat, | ||
| Options & | opt, | ||
| bool | best | ||
| ) |
Clone space s dependening on options o.
Definition at line 71 of file support.hh.