Generated on for Gecode by doxygen 1.17.0
Public Member Functions | List of all members
Gecode::Search::Seq::RestartStop Class Reference

Stop-object for restart engine More...

#include <gecode/search/seq/rbs.hh>

Public Member Functions

 RestartStop (Stop *s)
 Stop the meta engine if indicated by the stop object s.
virtual bool stop (const Statistics &s, const Options &o)
 Return true if meta engine must be stopped.
unsigned long int restarts (void) const
 Return current restart count.
void restart (void)
 Increment current restart count.
void nogood (unsigned long int n)
 Add no-goods to meta statistics.
SpaceStatus status (Space *s)
 Test master status with meta statistics.
void limit (const Statistics &s, unsigned long long int l)
 Set current limit for the engine to l fails.
void update (const Search::Statistics &s)
 Update statistics.
bool enginestopped (void) const
 Return whether the engine has been stopped.
Statistics metastatistics (void) const
 Return statistics for the meta engine.
 Stop (void)
 Default constructor.
virtual ~Stop (void)
 Destructor.

Additional Inherited Members

static Stop * node (unsigned long long int l)
 Stop if node limit l has been exceeded.
static Stop * fail (unsigned long long int l)
 Stop if failure limit l has been exceeded.
static Stop * time (double l)
 Stop if time limit l (in milliseconds) has been exceeded.
static Stop * restart (unsigned long long int l)
 Stop if restart limit l has been exceeded.
Static Public Member Functions inherited from Gecode::HeapAllocated
static void * operator new (size_t s)
 Memory management.
static void operator delete (void *p)
 Free memory allocated from heap.

Detailed Description

Stop-object for restart engine

Definition at line 48 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 42 of file rbs.hpp.

Member Function Documentation

◆ stop()

virtual 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.

◆ restarts()

unsigned long int Gecode::Search::Seq::RestartStop::restarts ( void ) const
inline

Return current restart count.

Definition at line 46 of file rbs.hpp.

◆ restart()

void Gecode::Search::Seq::RestartStop::restart ( void )
inline

Increment current restart count.

Definition at line 52 of file rbs.hpp.

◆ nogood()

void Gecode::Search::Seq::RestartStop::nogood ( unsigned long int n)
inline

Add no-goods to meta statistics.

Definition at line 58 of file rbs.hpp.

◆ status()

SpaceStatus Gecode::Search::Seq::RestartStop::status ( Space * s)
inline

Test master status with meta statistics.

Definition at line 64 of file rbs.hpp.

◆ limit()

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

Set current limit for the engine to l fails.

Definition at line 70 of file rbs.hpp.

◆ update()

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

Update statistics.

Definition at line 78 of file rbs.hpp.

◆ enginestopped()

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

Return whether the engine has been stopped.

Definition at line 84 of file rbs.hpp.

◆ metastatistics()

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

Return statistics for the meta engine.

Definition at line 90 of file rbs.hpp.

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