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. More... | |
size_t | limit (void) const |
Return current limit. More... | |
void | limit (size_t l) |
Set current limit to l (in bytes) More... | |
virtual bool | stop (const Statistics &s, const Options &o) |
Return true if memory limit is exceeded. More... | |
![]() | |
Stop (void) | |
Default constructor. More... | |
virtual | ~Stop (void) |
Destructor. More... | |
Protected Attributes | |
size_t | l |
Size limit. More... | |
|
inline |
|
inline |
|
inline |
|
virtual |
Return true if memory limit is exceeded.
Implements Gecode::Search::Stop.
|
protected |