Generated on Fri Oct 19 11:26:18 2018 for Gecode by doxygen 1.6.3

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

Enginebabengine (Space *s, const Options &o)
 Create branch and bound engine.
template<class T , class E >
Enginebuild (Space *s, const Options &opt)
 Build an engine of type E for a script T.
Enginedfsengine (Space *s, const Options &o)
 Create depth-first engine.
Engineldsengine (Space *s, const Options &o)
 Create lds engine.
NGLdisposenext (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>
Enginepbsseq (T *master, const Search::Statistics &stat, Options &opt)
template<class T , template< class > class E>
Enginepbsseq (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best)
template<class T , template< class > class E>
Enginepbspar (T *master, const Search::Statistics &stat, Options &opt)
template<class T , template< class > class E>
Enginepbspar (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.
Spacesnapshot (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]

Build an engine of type E for a script T.

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

Definition at line 68 of file build.hpp.

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]

Definition at line 95 of file pbs.hpp.

template<class T , template< class > class E>
Engine* Gecode::Search::pbsseq ( T *  master,
SEBs &  sebs,
const Search::Statistics &  stat,
Options &  opt,
bool  best 
) [inline]

Definition at line 123 of file pbs.hpp.

template<class T , template< class > class E>
Engine* Gecode::Search::pbspar ( T *  master,
const Search::Statistics &  stat,
Options &  opt 
) [inline]

Definition at line 153 of file pbs.hpp.

template<class T , template< class > class E>
Engine* Gecode::Search::pbspar ( T *  master,
SEBs &  sebs,
const Search::Statistics &  stat,
Options &  opt,
bool  best 
) [inline]

Definition at line 182 of file pbs.hpp.

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.

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.