Stop-object based on memory consumption More...
#include <search.hh>
Public Member Functions | |
MemoryStop (size_t l) | |
Stop if memory limit l (in bytes) is exceeded. | |
size_t | limit (void) const |
Return current limit. | |
void | limit (size_t l) |
Set current limit to l (in bytes) | |
virtual bool | stop (const Statistics &s, const Options &o) |
Return true if memory limit is exceeded. | |
Protected Attributes | |
size_t | l |
Size limit. |
Gecode::Search::MemoryStop::MemoryStop | ( | size_t | l | ) | [inline] |
size_t Gecode::Search::MemoryStop::limit | ( | void | ) | const [inline] |
void Gecode::Search::MemoryStop::limit | ( | size_t | l | ) | [inline] |
bool Gecode::Search::MemoryStop::stop | ( | const Statistics & | s, |
const Options & | o | ||
) | [virtual] |
Return true if memory limit is exceeded.
Implements Gecode::Search::Stop.
size_t Gecode::Search::MemoryStop::l [protected] |