Generated on Wed Nov 1 15:05:21 2006 for Gecode by doxygen 1.4.5

Gecode::Search::TimeStop Class Reference
[Stop-objects for stopping search]

#include <search.hh>

Inherits Gecode::Search::Stop.

List of all members.


Detailed Description

Stop-object based on time

Definition at line 169 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 80 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 84 of file stop.icc.

void Gecode::Search::TimeStop::limit unsigned long int  l  )  [inline]
 

Set current limit to l milliseconds.

Definition at line 89 of file stop.icc.

void Gecode::Search::TimeStop::reset void   )  [inline]
 

Reset time to zero.

Definition at line 94 of file stop.icc.

bool Gecode::Search::TimeStop::stop const Statistics s  )  [virtual]
 

Return true if time limit is exceeded.

Implements Gecode::Search::Stop.

Definition at line 51 of file stop.cc.


Member Data Documentation

clock_t Gecode::Search::TimeStop::s [protected]
 

Clock when execution should stop.

Definition at line 172 of file search.hh.

unsigned long int Gecode::Search::TimeStop::l [protected]
 

Current limit in milliseconds.

Definition at line 174 of file search.hh.


The documentation for this class was generated from the following files: