#include <search.hh>
Inherits Gecode::Search::Stop.
List of all members.
Detailed Description
Stop-object based on time
Definition at line 179 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 96 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 100 of file stop.icc.
| void Gecode::Search::TimeStop::limit |
( |
unsigned long int |
l |
) |
[inline] |
Set current limit to l milliseconds.
Definition at line 105 of file stop.icc.
| void Gecode::Search::TimeStop::reset |
( |
void |
|
) |
[inline] |
Reset time to zero.
Definition at line 110 of file stop.icc.
| bool Gecode::Search::TimeStop::stop |
( |
const Statistics & |
s |
) |
[virtual] |
Member Data Documentation
Clock when execution should stop.
Definition at line 182 of file search.hh.
Current limit in milliseconds.
Definition at line 184 of file search.hh.
The documentation for this class was generated from the following files:
