Gecode::Search Namespace Reference

Search engines More...

Namespaces
namespace	Meta
	Meta search engine implementations
namespace	Parallel
	Parallel search engine implementations
namespace	Sequential
	Sequential search engine implementations
namespace	Config
	Search configuration
Classes
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	FailedSpace
	A failed space by construction. More...
class	WorkerToEngine
	Virtualize a worker to an engine. More...
class	Worker
	Search worker control including memory information More...
class	UninitializedCutoff
	Exception: Uninitialized cutoff for restart-based search More...
class	Statistics
	Search engine statistics More...
class	Options
	Search engine options More...
class	Stop
	Base-class for Stop-object. More...
class	MemoryStop
	Stop-object based on memory consumption 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	MetaStop
	Stop-object for meta engine More...
class	Cutoff
	Base class for cutoff generators for restart-based meta engine. More...
class	Engine
	Search engine implementation interface More...
Functions
Engine *	bab (Space *s, size_t sz, const Options &o)
	Create branch and bound engine.
Engine *	dfs (Space *s, size_t sz, const Options &o)
	Create depth-first engine.
Engine *	rbs (Space *s, size_t sz, MetaStop *stop, Engine *e, const Options &o)
Space *	snapshot (Space *s, const Options &o, bool share=true)
	Clone space s dependening on options o.

---

Detailed Description

Search engines

---

Function Documentation

Engine * Gecode::Search::bab	(	Space *	s,
		size_t	sz,
		const Options &	o
	)

Create branch and bound engine.

Engine * Gecode::Search::dfs	(	Space *	s,
		size_t	sz,
		const Options &	o
	)

Create depth-first engine.

Engine * Gecode::Search::rbs	(	Space *	s,
		size_t	sz,
		MetaStop *	stop,
		Engine *	e,
		const Options &	o
	)

Space * Gecode::Search::snapshot	(	Space *	s,
		const Options &	o,
		bool	share = true
	)			[inline]

Clone space s dependening on options o.

Definition at line 80 of file support.hh.