Stop-object based on time
More...
#include <search.hh>
|
| | TimeStop (unsigned long int l) |
| | Stop if search exceeds l milliseconds (from creation of this object)
|
| |
| unsigned long int | limit (void) const |
| | Return current limit in milliseconds.
|
| |
| void | limit (unsigned long int l) |
| | Set current limit to l milliseconds.
|
| |
| void | reset (void) |
| | Reset time to zero.
|
| |
| virtual bool | stop (const Statistics &s, const Options &o) |
| | Return true if time limit is exceeded.
|
| |
| | Stop (void) |
| | Default constructor.
|
| |
| virtual | ~Stop (void) |
| | Destructor.
|
| |
|
| Support::Timer | t |
| | Time when execution should stop.
|
| |
| unsigned long int | l |
| | Current limit in milliseconds.
|
| |
|
| 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.
|
| |
| static void * | operator new (size_t s) |
| | Memory management.
|
| |
| static void | operator delete (void *p) |
| | Free memory allocated from heap.
|
| |
Stop-object based on time
Definition at line 871 of file search.hh.
◆ TimeStop()
| Gecode::Search::TimeStop::TimeStop |
( |
unsigned long int | l | ) |
|
|
inline |
Stop if search exceeds l milliseconds (from creation of this object)
Definition at line 90 of file stop.hpp.
◆ limit() [1/2]
| unsigned long int Gecode::Search::TimeStop::limit |
( |
void | | ) |
const |
|
inline |
Return current limit in milliseconds.
Definition at line 96 of file stop.hpp.
◆ limit() [2/2]
| void Gecode::Search::TimeStop::limit |
( |
unsigned long int | l | ) |
|
|
inline |
Set current limit to l milliseconds.
Definition at line 101 of file stop.hpp.
◆ reset()
| void Gecode::Search::TimeStop::reset |
( |
void | | ) |
|
|
inline |
Reset time to zero.
Definition at line 106 of file stop.hpp.
◆ stop()
Time when execution should stop.
Definition at line 874 of file search.hh.
| unsigned long int Gecode::Search::TimeStop::l |
|
protected |
Current limit in milliseconds.
Definition at line 876 of file search.hh.
The documentation for this class was generated from the following files: