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]

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.