Generated on Wed Feb 7 10:29:33 2018 for Gecode by doxygen 1.6.3

Gecode::Search::Seq::RestartStop Class Reference

Stop-object for restart engine More...

#include <rbs.hh>

List of all members.

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.
void limit (const Statistics &s, unsigned 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.

Detailed Description

Stop-object for restart engine

Definition at line 48 of file rbs.hh.


Constructor & Destructor Documentation

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

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 44 of file rbs.cpp.

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 46 of file rbs.hpp.

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

Update statistics.

Definition at line 53 of file rbs.hpp.

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

Return whether the engine has been stopped.

Definition at line 58 of file rbs.hpp.

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

Return statistics for the meta engine.

Definition at line 63 of file rbs.hpp.


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