
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... | |
Public Member Functions inherited from Gecode::Search::Stop | |
| 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 |