Gecode::Search::TimeStop Class Reference
[Stop-objects for stopping search]
Stop-object based on time More...
#include <search.hh>
List of all members.
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, const Options &o) |
| Return true if time limit is exceeded. | |
Protected Attributes | |
| Support::Timer | t |
| Time when execution should stop. | |
| unsigned long int | l |
| Current limit in milliseconds. | |
Detailed Description
Stop-object based on time
Definition at line 871 of file search.hh.
Constructor & Destructor Documentation
| Gecode::Search::TimeStop::TimeStop | ( | unsigned long int | l | ) | [inline] |
Member Function Documentation
| unsigned long int Gecode::Search::TimeStop::limit | ( | void | ) | const [inline] |
| void Gecode::Search::TimeStop::limit | ( | unsigned long int | l | ) | [inline] |
| void Gecode::Search::TimeStop::reset | ( | void | ) | [inline] |
| bool Gecode::Search::TimeStop::stop | ( | const Statistics & | s, | |
| const Options & | o | |||
| ) | [virtual] |
Return true if time limit is exceeded.
Implements Gecode::Search::Stop.
Member Data Documentation
Support::Timer Gecode::Search::TimeStop::t [protected] |
unsigned long int Gecode::Search::TimeStop::l [protected] |
The documentation for this class was generated from the following files: