Gecode::Search Namespace Reference
Search engines More...
Namespaces | |
namespace | Par |
namespace | Seq |
namespace | Sequential |
Sequential search engine implementations | |
namespace | Parallel |
Parallel search engine implementations | |
namespace | Meta |
Meta search engine implementations | |
namespace | Config |
Search configuration | |
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. | |
template<class T , class E > | |
Engine * | build (Space *s, const Options &opt) |
Build an engine of type E for a script T. | |
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. |
Detailed Description
Search engines
Function Documentation
Engine * Gecode::Search::babengine | ( | Space * | s, | |
const Options & | o | |||
) |
Create branch and bound engine.
template<class T , class E >
Engine * Gecode::Search::build | ( | Space * | s, | |
const Options & | opt | |||
) | [inline] |
Engine * Gecode::Search::dfsengine | ( | Space * | s, | |
const Options & | o | |||
) |
Create depth-first engine.
Engine * Gecode::Search::ldsengine | ( | Space * | s, | |
const Options & | o | |||
) |
Create lds engine.
NGL* Gecode::Search::disposenext | ( | NGL * | ngl, | |
Space & | home, | |||
Propagator & | p, | |||
bool | c | |||
) | [inline] |
Help function to cancel and dispose a no-good literal.
Definition at line 40 of file nogoods.cpp.
template<class T , template< class > class E>
Engine* Gecode::Search::pbsseq | ( | T * | master, | |
const Search::Statistics & | stat, | |||
Options & | opt | |||
) | [inline] |
template<class T , template< class > class E>
Engine* Gecode::Search::pbsseq | ( | T * | master, | |
SEBs & | sebs, | |||
const Search::Statistics & | stat, | |||
Options & | opt, | |||
bool | best | |||
) | [inline] |
template<class T , template< class > class E>
Engine* Gecode::Search::pbspar | ( | T * | master, | |
const Search::Statistics & | stat, | |||
Options & | opt | |||
) | [inline] |
template<class T , template< class > class E>
Engine* Gecode::Search::pbspar | ( | T * | master, | |
SEBs & | sebs, | |||
const Search::Statistics & | stat, | |||
Options & | opt, | |||
bool | best | |||
) | [inline] |
template<class VarArgs , class Post >
void Gecode::Search::relax | ( | Home | home, | |
const VarArgs & | x, | |||
const VarArgs & | sx, | |||
Rnd | r, | |||
double | p, | |||
Post & | post | |||
) | [inline] |
Space * Gecode::Search::snapshot | ( | Space * | s, | |
const Options & | o | |||
) | [inline] |
Clone space s dependening on options o.
Definition at line 71 of file support.hh.