Gecode::Search Namespace Reference

Search engines More...

## Namespaces

namespace | Sequential
| Sequential search engine implementations
namespace | Parallel
| Parallel search engine implementations
namespace | Meta
| Meta search engine implementations
namespace | Config
| Search configuration
namespace | Par
namespace | Seq

## Classes

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

## 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.

## Detailed Description

Search engines

## Function Documentation

## build() [1/2]

template<class T, class E>

Engine * Gecode::Search::build | ( | Space * | s,
|  | const Options & | opt )

inline

Build an engine of type E for a script T.

Definition at line 58 of file build.hpp.

## build() [2/2]

template<class T, template< class > class E>

Engine * Gecode::Search::build | ( | Space * | s,
|  | const Options & | opt )

Build a parametric engine of type E for a script T.

Build an engine of type E for a script T.

Definition at line 68 of file build.hpp.

## babengine()

Engine * Gecode::Search::babengine | ( | Space * | s,
|  | const Options & | o )

Create branch and bound engine.

Definition at line 45 of file bab.cpp.

## dfsengine()

Engine * Gecode::Search::dfsengine | ( | Space * | s,
|  | const Options & | o )

Create depth-first engine.

Definition at line 45 of file dfs.cpp.

## ldsengine()

Engine * Gecode::Search::ldsengine | ( | Space * | s,
|  | const Options & | o )

Create lds engine.

Definition at line 45 of file lds.cpp.

## disposenext()

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.

## pbsseq() [1/2]

template<class T, template< class > class E>

Engine * Gecode::Search::pbsseq | ( | T * | master,
|  | const Search::Statistics & | stat,
|  | Options & | opt )

Definition at line 95 of file pbs.hpp.

## pbsseq() [2/2]

template<class T, template< class > class E>

Engine * Gecode::Search::pbsseq | ( | T * | master,
|  | SEBs & | sebs,
|  | const Search::Statistics & | stat,
|  | Options & | opt,
|  | bool | best )

Definition at line 123 of file pbs.hpp.

## pbspar() [1/2]

template<class T, template< class > class E>

Engine * Gecode::Search::pbspar | ( | T * | master,
|  | const Search::Statistics & | stat,
|  | Options & | opt )

Definition at line 153 of file pbs.hpp.

## pbspar() [2/2]

template<class T, template< class > class E>

Engine * Gecode::Search::pbspar | ( | T * | master,
|  | SEBs & | sebs,
|  | const Search::Statistics & | stat,
|  | Options & | opt,
|  | bool | best )

Definition at line 182 of file pbs.hpp.

## relax()

template<class VarArgs, class Post>

void Gecode::Search::relax | ( | Home | home,
|  | const VarArgs & | x,
|  | const VarArgs & | sx,
|  | Rnd | r,
|  | double | p,
|  | Post & | post )

inline

Relax variables in x from solution sx with probability p.

Definition at line 51 of file relax.hh.

## snapshot()

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.