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

Stop-object based on number of nodes More...

#include <search.hh>

List of all members.

Public Member Functions
	NodeStop (unsigned long int l)
	Stop if node limit l is exceeded.
unsigned long int	limit (void) const
	Return current limit.
void	limit (unsigned long int l)
	Set current limit to l nodes.
virtual bool	stop (const Statistics &s, const Options &o)
	Return true if node limit is exceeded.
Protected Attributes
unsigned long int	l
	Node limit.

Detailed Description

Stop-object based on number of nodes

The number of nodes reported (by the statistics) is the number since the engine started exploration. It is not the number since the last stop!

Definition at line 829 of file search.hh.

Gecode::Search::NodeStop::NodeStop ( unsigned long int l ) [inline]

Stop if node limit l is exceeded.

Definition at line 52 of file stop.hpp.

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

Return current limit.

Definition at line 55 of file stop.hpp.

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

Set current limit to l nodes.

Definition at line 60 of file stop.hpp.

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

Return true if node limit is exceeded.

Definition at line 61 of file stop.cpp.

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

Node limit.

Definition at line 832 of file search.hh.

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