Gecode::Search::Meta Namespace Reference

Meta search engine implementations More...

Namespaces
namespace	Parallel
	Parallel meta search engine implementations
namespace	Sequential
	Sequential meta search engine implementations
Classes
class	Dead
	A dead engine (failed root). More...
class	NoNGL
	Class for a sentinel no-good literal. More...
class	NoGoodsProp
	No-good propagator. More...
class	RestartStop
	Stop-object for restart engine More...
class	RBS
	Engine for restart-based search. More...
Functions
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 *	sequential (T *master, const Search::Statistics &stat, Options &opt)
	Build a sequential engine.
template<class T , template< class > class E>
Engine *	sequential (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best)
	Build a sequential engine.
template<class T , template< class > class E>
Engine *	parallel (T *master, const Search::Statistics &stat, Options &opt)
	Build a parallel engine.
template<class T , template< class > class E>
Engine *	parallel (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best)
	Build a parallel engine.
Stop *	stop (Stop *so)
	Create stop object.
Engine *	engine (Space master, Stop stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best)
	Create restart engine.

Detailed Description

Meta search engine implementations

NGL* Gecode::Search::Meta::disposenext	(	NGL *	ngl,
		Space &	home,
		Propagator &	p,
		bool	c
	)			`[inline]`

Help function to cancel and dispose a no-good literal.

Definition at line 44 of file nogoods.cpp.

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

Engine * Gecode::Search::Meta::sequential	(	T *	master,
		const Search::Statistics &	stat,
		Options &	opt
	)			`[inline]`

Build a sequential engine.

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

Engine * Gecode::Search::Meta::sequential	(	T *	master,
		SEBs &	sebs,
		const Search::Statistics &	stat,
		Options &	opt,
		bool	best
	)			`[inline]`

Build a sequential engine.

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

Engine * Gecode::Search::Meta::parallel	(	T *	master,
		const Search::Statistics &	stat,
		Options &	opt
	)			`[inline]`

Build a parallel engine.

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

Engine * Gecode::Search::Meta::parallel	(	T *	master,
		SEBs &	sebs,
		const Search::Statistics &	stat,
		Options &	opt,
		bool	best
	)			`[inline]`

Build a parallel engine.

Stop * Gecode::Search::Meta::stop ( Stop * stop )

Create stop object.

Engine * Gecode::Search::Meta::engine	(	Space *	master,
		Stop *	stop,
		Engine *	slave,
		const Search::Statistics &	stat,
		const Options &	opt,
		bool	best
	)

Create restart engine.