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.

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.

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

Return current limit in milliseconds.

Definition at line 96 of file stop.hpp.

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

Set current limit to l milliseconds.

Definition at line 101 of file stop.hpp.

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

Reset time to zero.

Definition at line 106 of file stop.hpp.

bool Gecode::Search::TimeStop::stop	(	const Statistics &	s,
		const Options &	o
	)			`[virtual]`

Return true if time limit is exceeded.

Definition at line 81 of file stop.cpp.

Support::Timer Gecode::Search::TimeStop::t [protected]

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: