Generated on Thu Jan 31 2019 20:56:52 for Gecode by doxygen 1.8.15
Gecode::Search::Meta::Dead Class Reference

A dead engine (failed root) More...

#include <dead.hh>

Public Member Functions

 Dead (const Statistics &stat0)
 Initialize. More...
 
virtual Spacenext (void)
 Return next solution (NULL, if none exists or search has been stopped) More...
 
virtual Statistics statistics (void) const
 Return statistics. More...
 
virtual bool stopped (void) const
 Check whether engine has been stopped. More...
 
- Public Member Functions inherited from Gecode::Search::Engine
virtual void constrain (const Space &b)
 Constrain future solutions to be better than b (raises exception) More...
 
virtual void reset (Space *s)
 Reset engine to restart at space s (does nothing) More...
 
virtual NoGoodsnogoods (void)
 Return no-goods (the no-goods are empty) More...
 
virtual ~Engine (void)
 Destructor. More...
 

Protected Attributes

Statistics stat
 Statistics. More...
 

Additional Inherited Members

- 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

A dead engine (failed root)

Definition at line 44 of file dead.hh.

Constructor & Destructor Documentation

◆ Dead()

Gecode::Search::Meta::Dead::Dead ( const Statistics stat0)

Initialize.

Definition at line 42 of file dead.cpp.

Member Function Documentation

◆ next()

Space * Gecode::Search::Meta::Dead::next ( void  )
virtual

Return next solution (NULL, if none exists or search has been stopped)

Implements Gecode::Search::Engine.

Definition at line 46 of file dead.cpp.

◆ statistics()

Statistics Gecode::Search::Meta::Dead::statistics ( void  ) const
virtual

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 56 of file dead.cpp.

◆ stopped()

bool Gecode::Search::Meta::Dead::stopped ( void  ) const
virtual

Check whether engine has been stopped.

Implements Gecode::Search::Engine.

Definition at line 51 of file dead.cpp.

Member Data Documentation

◆ stat

Statistics Gecode::Search::Meta::Dead::stat
protected

Statistics.

Definition at line 47 of file dead.hh.


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