Gecode::Search::Meta::RestartStop Class Reference

Stop-object for restart engine More...

#include <rbs.hh>

Public Member Functions
	RestartStop (Stop *s)
	Stop the meta engine if indicated by the stop object s.
virtual bool	stop (const Statistics &s, const Options &o)
	Return true if meta engine must be stopped.
void	limit (const Search::Statistics &s, unsigned long int l)
	Set current limit for the engine to l fails.
void	update (const Search::Statistics &s)
	Update statistics.
Stop *	enginestop (void) const
	Return the stop object to control the engine.
bool	enginestopped (void) const
	Return whether the engine has been stopped.
Statistics	metastatistics (void) const
	Return statistics for the meta engine.
	~RestartStop (void)
	Delete object.

Detailed Description

Stop-object for restart engine

Definition at line 48 of file rbs.hh.

Gecode::Search::Meta::RestartStop::RestartStop ( Stop * s ) [inline]

Stop the meta engine if indicated by the stop object s.

Definition at line 119 of file rbs.hh.

Gecode::Search::Meta::RestartStop::~RestartStop ( void ) [inline]

Delete object.

Definition at line 150 of file rbs.hh.

bool Gecode::Search::Meta::RestartStop::stop	(	const Statistics &	s,
		const Options &	o
	)			`[virtual]`

Return true if meta engine must be stopped.

Definition at line 49 of file rbs.cpp.

void Gecode::Search::Meta::RestartStop::limit	(	const Search::Statistics &	s,
		unsigned long int	l
	)			`[inline]`

Set current limit for the engine to l fails.

Definition at line 123 of file rbs.hh.

void Gecode::Search::Meta::RestartStop::update ( const Search::Statistics & s ) [inline]

Update statistics.

Definition at line 130 of file rbs.hh.

Stop * Gecode::Search::Meta::RestartStop::enginestop ( void ) const [inline]

Return the stop object to control the engine.

Definition at line 135 of file rbs.hh.

bool Gecode::Search::Meta::RestartStop::enginestopped ( void ) const [inline]

Return whether the engine has been stopped.

Definition at line 140 of file rbs.hh.

Statistics Gecode::Search::Meta::RestartStop::metastatistics ( void ) const [inline]

Return statistics for the meta engine.

Definition at line 145 of file rbs.hh.

The documentation for this class was generated from the following files: