Gecode::Search::Meta Namespace Reference

Meta search engine implementations More...

Namespaces
	Parallel
	Parallel meta search engine implementations
	Sequential
	Sequential meta search engine implementations

Classes
class	Dead
	A dead engine (failed root) More...
class	NoGoodsProp
	No-good propagator. More...
class	NoNGL
	Class for a sentinel no-good literal. More...
class	RBS
	Engine for restart-based search. More...
class	RestartStop
	Stop-object for restart engine More...

Functions
NGL *	disposenext (NGL *ngl, Space &home, Propagator &p, bool c)
	Help function to cancel and dispose a no-good literal. More...
template<class T , template< class > class E>
Engine *	sequential (T *master, const Search::Statistics &stat, Options &opt)
	Build a sequential engine. More...
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. More...
template<class T , template< class > class E>
Engine *	parallel (T *master, const Search::Statistics &stat, Options &opt)
	Build a parallel engine. More...
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. More...
Stop *	stop (Stop *so)
	Create stop object. More...
Engine *	engine (Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best)
	Create restart engine. More...

Detailed Description

Meta search engine implementations

Function Documentation

disposenext()

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.

sequential() [1/2]

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

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

Build a sequential engine.

Definition at line 99 of file pbs.hpp.

sequential() [2/2]

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

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

Build a sequential engine.

Definition at line 124 of file pbs.hpp.

parallel() [1/2]

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

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

Build a parallel engine.

Definition at line 152 of file pbs.hpp.

parallel() [2/2]

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

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

Build a parallel engine.

Definition at line 178 of file pbs.hpp.

stop()

Stop * Gecode::Search::Meta::stop

(

Stop *

stop

)

Create stop object.

Definition at line 43 of file rbs.cpp.

engine()

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

Create restart engine.

Definition at line 48 of file rbs.cpp.