Generated on Sat Feb 7 2015 02:01:50 for Gecode by doxygen 1.8.9.1

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

#include <search.hh>

Public Member Functions

 NodeStop (unsigned long int l)
 Stop if node limit l is exceeded. More...
 
unsigned long int limit (void) const
 Return current limit. More...
 
void limit (unsigned long int l)
 Set current limit to l nodes. More...
 
virtual bool stop (const Statistics &s, const Options &o)
 Return true if node limit is exceeded. More...
 
- Public Member Functions inherited from Gecode::Search::Stop
 Stop (void)
 Default constructor. More...
 
virtual ~Stop (void)
 Destructor. More...
 

Protected Attributes

unsigned long int l
 Node limit. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Search::Stop
static void * operator new (size_t s)
 Allocate memory from heap. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 

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 284 of file search.hh.

Constructor & Destructor Documentation

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

Stop if node limit l is exceeded.

Definition at line 66 of file stop.hpp.

Member Function Documentation

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

Return current limit.

Definition at line 69 of file stop.hpp.

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

Set current limit to l nodes.

Definition at line 74 of file stop.hpp.

bool Gecode::Search::NodeStop::stop ( const Statistics s,
const Options o 
)
virtual

Return true if node limit is exceeded.

Implements Gecode::Search::Stop.

Definition at line 47 of file stop.cpp.

Member Data Documentation

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

Node limit.

Definition at line 287 of file search.hh.


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