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.
|
Memory management |
|
static void * | operator new (size_t s) |
| Allocate memory from heap.
|
static void | operator delete (void *p) |
| Free memory allocated from heap.
|
Predefined stop objects |
|
static Stop * | node (unsigned long int l) |
| Stop if node limit l has been exceeded.
|
static Stop * | fail (unsigned long int l) |
| Stop if failure limit l has been exceeded.
|
static Stop * | time (unsigned long int l) |
| Stop if time limit l (in milliseconds) has been exceeded.
|
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 |
|
) |
[inline, virtual] |
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 |
) |
[inline, static] |
Allocate memory from heap.
Definition at line 49 of file stop.hpp.
void Gecode::Search::Stop::operator delete |
( |
void * |
p |
) |
[inline, static] |
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: