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

Stop-object for meta engine More...

#include <search.hh>

Public Member Functions

 MetaStop (Stop *s)
 Stop the meta engine if indicated by the stop object s. More...
 
virtual bool stop (const Statistics &s, const Options &o)
 Return true if meta engine must be stopped. More...
 
void limit (const Search::Statistics &s, unsigned long int l)
 Set current limit for the engine to l fails. More...
 
void update (const Search::Statistics &s)
 Update statistics. More...
 
Stopenginestop (void) const
 Return the stop object to control the engine. More...
 
bool enginestopped (void) const
 Return whether the engine has been stopped. More...
 
Statistics metastatistics (void) const
 Return statistics for the meta engine. More...
 
 ~MetaStop (void)
 Delete object. More...
 
- Public Member Functions inherited from Gecode::Search::Stop
 Stop (void)
 Default constructor. More...
 
virtual ~Stop (void)
 Destructor. 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 for meta engine

Definition at line 349 of file search.hh.

Constructor & Destructor Documentation

Gecode::Search::MetaStop::MetaStop ( Stop s)
inline

Stop the meta engine if indicated by the stop object s.

Definition at line 131 of file stop.hpp.

Gecode::Search::MetaStop::~MetaStop ( void  )
inline

Delete object.

Definition at line 162 of file stop.hpp.

Member Function Documentation

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

Return true if meta engine must be stopped.

Implements Gecode::Search::Stop.

Definition at line 78 of file stop.cpp.

void Gecode::Search::MetaStop::limit ( const Search::Statistics s,
unsigned long int  l 
)
inline

Set current limit for the engine to l fails.

Definition at line 135 of file stop.hpp.

void Gecode::Search::MetaStop::update ( const Search::Statistics s)
inline

Update statistics.

Definition at line 142 of file stop.hpp.

Stop * Gecode::Search::MetaStop::enginestop ( void  ) const
inline

Return the stop object to control the engine.

Definition at line 147 of file stop.hpp.

bool Gecode::Search::MetaStop::enginestopped ( void  ) const
inline

Return whether the engine has been stopped.

Definition at line 152 of file stop.hpp.

Statistics Gecode::Search::MetaStop::metastatistics ( void  ) const
inline

Return statistics for the meta engine.

Definition at line 157 of file stop.hpp.


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