Generated on Tue May 31 2016 11:57:37 for Gecode by doxygen 1.8.11
Gecode::Search::Meta::RestartStop Class Reference

Stop-object for restart engine More...

#include <rbs.hh>

Public Member Functions

 RestartStop (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...
 
 ~RestartStop (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...
 
static Stopnode (unsigned long int l)
 Stop if node limit l has been exceeded. More...
 
static Stopfail (unsigned long int l)
 Stop if failure limit l has been exceeded. More...
 
static Stoptime (unsigned long int l)
 Stop if time limit l (in milliseconds) has been exceeded. More...
 

Detailed Description

Stop-object for restart engine

Definition at line 48 of file rbs.hh.

Constructor & Destructor Documentation

Gecode::Search::Meta::RestartStop::RestartStop ( Stop s)
inline

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

Definition at line 119 of file rbs.hh.

Gecode::Search::Meta::RestartStop::~RestartStop ( void  )
inline

Delete object.

Definition at line 150 of file rbs.hh.

Member Function Documentation

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

Return true if meta engine must be stopped.

Implements Gecode::Search::Stop.

Definition at line 49 of file rbs.cpp.

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

Set current limit for the engine to l fails.

Definition at line 123 of file rbs.hh.

void Gecode::Search::Meta::RestartStop::update ( const Search::Statistics s)
inline

Update statistics.

Definition at line 130 of file rbs.hh.

Stop * Gecode::Search::Meta::RestartStop::enginestop ( void  ) const
inline

Return the stop object to control the engine.

Definition at line 135 of file rbs.hh.

bool Gecode::Search::Meta::RestartStop::enginestopped ( void  ) const
inline

Return whether the engine has been stopped.

Definition at line 140 of file rbs.hh.

Statistics Gecode::Search::Meta::RestartStop::metastatistics ( void  ) const
inline

Return statistics for the meta engine.

Definition at line 145 of file rbs.hh.


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