Generated on Tue Jan 19 2021 06:15:49 for Gecode by doxygen 1.8.13
Gecode::Search::Seq::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 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...
 
bool enginestopped (void) const
 Return whether the engine has been stopped. More...
 
Statistics metastatistics (void) const
 Return statistics for the meta engine. 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 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...
 
- Static Public Member Functions inherited from Gecode::HeapAllocated
static void * operator new (size_t s)
 Memory management. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 

Detailed Description

Stop-object for restart engine

Definition at line 44 of file rbs.hh.

Constructor & Destructor Documentation

◆ RestartStop()

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

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

Definition at line 38 of file rbs.hpp.

Member Function Documentation

◆ stop()

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

Return true if meta engine must be stopped.

Implements Gecode::Search::Stop.

Definition at line 40 of file rbs.cpp.

◆ limit()

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

Set current limit for the engine to l fails.

Definition at line 42 of file rbs.hpp.

◆ update()

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

Update statistics.

Definition at line 49 of file rbs.hpp.

◆ enginestopped()

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

Return whether the engine has been stopped.

Definition at line 54 of file rbs.hpp.

◆ metastatistics()

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

Return statistics for the meta engine.

Definition at line 59 of file rbs.hpp.


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