Generated on Sat Sep 5 2015 20:51:25 for Gecode by doxygen 1.8.9.1

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

#include <search.hh>

Constructors and member functions

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

Memory management

static void * operator new (size_t s)
 Allocate memory from heap. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 

Predefined stop objects

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

Detailed Description

Base-class for Stop-object.

Definition at line 494 of file search.hh.

Constructor & Destructor Documentation

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

Default constructor.

Definition at line 45 of file stop.hpp.

Gecode::Search::Stop::~Stop ( void  )
inlinevirtual

Destructor.

Definition at line 47 of file stop.hpp.

Member Function Documentation

virtual bool Gecode::Search::Stop::stop ( const Statistics s,
const Options o 
)
pure virtual
void * Gecode::Search::Stop::operator new ( size_t  s)
inlinestatic

Allocate memory from heap.

Definition at line 49 of file stop.hpp.

void Gecode::Search::Stop::operator delete ( void *  p)
inlinestatic

Free memory allocated from heap.

Definition at line 53 of file stop.hpp.

Stop * Gecode::Search::Stop::node ( unsigned long int  l)
static

Stop if node limit l has been exceeded.

Definition at line 47 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 51 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 55 of file stop.cpp.


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