Search engines More...
Namespaces | |
namespace | Config |
Search configuration | |
namespace | Meta |
Meta search engine implementations | |
namespace | Par |
namespace | Parallel |
Parallel search engine implementations | |
namespace | Seq |
namespace | Sequential |
Sequential search engine implementations |
Classes | |
class | BabBuilder |
A BAB engine builder. More... | |
class | Base |
Base-class for search engines. More... | |
class | Builder |
A class for building search engines. More... | |
class | Cutoff |
Base class for cutoff generators for restart-based meta engine. More... | |
class | CutoffAppend |
Cutoff generator appending two cutoff generators. More... | |
class | CutoffConstant |
Cutoff generator for constant sequence. More... | |
class | CutoffGeometric |
Cutoff generator for the geometric sequence. More... | |
class | CutoffLinear |
Cutoff generator for linear sequence. More... | |
class | CutoffLuby |
Cutoff generator for the Luby sequence. More... | |
class | CutoffMerge |
Cutoff generator merging two cutoff generators. More... | |
class | CutoffRandom |
Cutoff generator for the random sequence. More... | |
class | CutoffRepeat |
Cutoff generator that repeats a cutoff from another cutoff generator. More... | |
class | DfsBuilder |
A DFS engine builder. More... | |
class | EdgeTraceRecorder |
Recorder for a search tracer with edge information. More... | |
class | Engine |
Search engine implementation interface More... | |
class | FailStop |
Stop-object based on number of failures More... | |
class | LdsBuilder |
A DFS engine builder. More... | |
class | MixedBest |
Exception: Mixed non-best and best solution search requested More... | |
class | NoAssets |
Exception: No assets requested for portfolio-based search More... | |
class | NoBest |
Exception: Best solution search is not supported More... | |
class | NodeStop |
Stop-object based on number of nodes More... | |
class | NoGoodsProp |
No-good propagator. More... | |
class | NoNGL |
Class for a sentinel no-good literal. More... | |
class | NoTraceRecorder |
Empty trace recorder. More... | |
class | Options |
Search engine options More... | |
class | PbsBuilder |
A PBS engine builder. More... | |
class | RbsBuilder |
A RBS engine builder. More... | |
class | Statistics |
Search engine statistics More... | |
class | Stop |
Base-class for Stop-object. More... | |
class | TimeStop |
Stop-object based on time More... | |
class | TraceRecorder |
Simple recorder for a search tracer. More... | |
class | UninitializedCutoff |
Exception: Uninitialized cutoff for restart-based search More... | |
class | Worker |
Search worker statistics More... | |
class | WorkerToEngine |
Virtualize a worker to an engine. More... | |
class | WrapTraceRecorder |
Recorder for engine events (for access control) More... |
Functions | |
template<class T, class E> | |
Engine * | build (Space *s, const Options &opt) |
Build an engine of type E for a script T. | |
template<class T, template< class > class E> | |
Engine * | build (Space *s, const Options &opt) |
Build a parametric engine of type E for a script T. | |
Engine * | babengine (Space *s, const Options &o) |
Create branch and bound engine. | |
Engine * | dfsengine (Space *s, const Options &o) |
Create depth-first engine. | |
Engine * | ldsengine (Space *s, const Options &o) |
Create lds engine. | |
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 * | 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. | |
Space * | snapshot (Space *s, const Options &o) |
Clone space s dependening on options o. |
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.