Generated on Wed Nov 1 15:05:21 2006 for Gecode by doxygen 1.4.5
Gecode::Search::FailStop

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

#include <search.hh>

Inherits Gecode::Search::Stop.

List of all members.

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 150 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.

Constructor & Destructor Documentation

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

Stop if failure limit l is exceeded.

Definition at line 61 of file stop.icc.

Member Function Documentation

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

Return current limit.

Definition at line 64 of file stop.icc.

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

Set current limit to l failures.

Definition at line 69 of file stop.icc.

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

Return true if failure limit is exceeded.

Implements Gecode::Search::Stop.

Definition at line 41 of file stop.cc.

Member Data Documentation

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

Failure limit.

Definition at line 153 of file search.hh.

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