Gecode::Search::FailStop Class Reference
[Stop-objects for stopping search]

#include <search.hh>

Detailed Description

Stop-object based on number of failures

The number of failures reported (by the statistics) is the number since the engine started exploration. It is not the number since the last stop!

Definition at line 160 of file search.hh.


Public Member Functions
	FailStop (unsigned long int l)
	Stop if failure limit l is exceeded.
unsigned long int	limit (void) const
	Return current limit.
void	limit (unsigned long int l)
	Set current limit to l failures.
virtual bool	stop (const Statistics &s)
	Return true if failure limit is exceeded.
Protected Attributes
unsigned long int	l
	Failure limit.

Gecode::Search::FailStop::FailStop ( unsigned long int l ) [inline]

Stop if failure limit l is exceeded.

Definition at line 77 of file stop.icc.

unsigned long int Gecode::Search::FailStop::limit ( void ) const [inline]

Return current limit.

Definition at line 80 of file stop.icc.

void Gecode::Search::FailStop::limit ( unsigned long int l ) [inline]

Set current limit to l failures.

Definition at line 85 of file stop.icc.

bool Gecode::Search::FailStop::stop ( const Statistics & s ) [virtual]

Return true if failure limit is exceeded.

Definition at line 57 of file stop.cc.

unsigned long int Gecode::Search::FailStop::l [protected]

Failure limit.

Definition at line 163 of file search.hh.

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