Generated on Wed Dec 13 2017 05:48:48 for Gecode by doxygen 1.8.5
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...
 

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: