Generated on Tue May 22 09:41:39 2018 for Gecode by doxygen 1.6.3

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

Base-class for Stop-object. More...

#include <search.hh>

List of all members.

Constructors and member functions



 Stop (void)
 Default constructor.
virtual bool stop (const Statistics &s, const Options &o)=0
 Stop search, if returns true.
virtual ~Stop (void)
 Destructor.

Predefined stop objects



static Stopnode (unsigned long int l)
 Stop if node limit l has been exceeded.
static Stopfail (unsigned long int l)
 Stop if failure limit l has been exceeded.
static Stoptime (unsigned long int l)
 Stop if time limit l (in milliseconds) has been exceeded.

Detailed Description

Base-class for Stop-object.

Definition at line 797 of file search.hh.


Constructor & Destructor Documentation

Gecode::Search::Stop::Stop ( void   )  [inline]

Default constructor.

Definition at line 41 of file stop.hpp.

Gecode::Search::Stop::~Stop ( void   )  [inline, virtual]

Destructor.

Definition at line 43 of file stop.hpp.


Member Function Documentation

virtual bool Gecode::Search::Stop::stop ( const Statistics s,
const Options o 
) [pure virtual]
Stop * Gecode::Search::Stop::node ( unsigned long int  l  )  [static]

Stop if node limit l has been exceeded.

Definition at line 43 of file stop.cpp.

Stop * Gecode::Search::Stop::fail ( unsigned long int  l  )  [static]

Stop if failure limit l has been exceeded.

Definition at line 47 of file stop.cpp.

Stop * Gecode::Search::Stop::time ( unsigned long int  l  )  [static]

Stop if time limit l (in milliseconds) has been exceeded.

Definition at line 51 of file stop.cpp.


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