#include <search.hh>
Inherits Gecode::Search::Stop.
List of all members.
Detailed Description
Stop-object based on time
Definition at line 162 of file search.hh.
|
Public Member Functions |
| 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) |
| Return true if time limit is exceeded.
|
Protected Attributes |
clock_t | s |
| Clock when execution should stop.
|
unsigned long int | l |
| Current limit in milliseconds.
|
Constructor & Destructor Documentation
Gecode::Search::TimeStop::TimeStop |
( |
unsigned long int |
l |
) |
[inline] |
Stop if search exceeds l milliseconds (from creation of this object).
Definition at line 76 of file stop.icc.
Member Function Documentation
unsigned long int Gecode::Search::TimeStop::limit |
( |
void |
|
) |
const [inline] |
Return current limit in milliseconds.
Definition at line 80 of file stop.icc.
void Gecode::Search::TimeStop::limit |
( |
unsigned long int |
l |
) |
[inline] |
Set current limit to l milliseconds.
Definition at line 85 of file stop.icc.
void Gecode::Search::TimeStop::reset |
( |
void |
|
) |
[inline] |
Reset time to zero.
Definition at line 90 of file stop.icc.
bool Gecode::Search::TimeStop::stop |
( |
const Statistics & |
s |
) |
[virtual] |
Member Data Documentation
Clock when execution should stop.
Definition at line 165 of file search.hh.
Current limit in milliseconds.
Definition at line 167 of file search.hh.
The documentation for this class was generated from the following files: