Gecode::Search Namespace Reference

Search engines More...

Namespaces
namespace	Parallel
	Parallel search engine implementations
namespace	Sequential
	Sequential search engine implementations
namespace	Config
	Search configuration
Classes
class	WorkerToEngine
	Virtualize a worker to an engine. More...
class	Worker
	Search worker control including memory information 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	Engine
	Search engine 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 *	restart (Space *s, size_t sz, const Options &o)
	Create restart engine.
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::restart	(	Space *	s,
		size_t	sz,
		const Options &	o
	)

Create restart engine.

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

Clone space s dependening on options o.

Definition at line 47 of file support.hh.