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

Gecode::Search::Seq::Dead< Tracer > Class Template Reference

A dead engine (failed root). More...

List of all members.

Public Member Functions

 Dead (const Options &o, const Statistics &stat0)
 Initialize.
virtual Spacenext (void)
 Return next solution (NULL, if none exists or search has been stopped).
virtual Statistics statistics (void) const
 Return statistics.
virtual bool stopped (void) const
 Check whether engine has been stopped.
virtual ~Dead (void)
 Delete.

Protected Attributes

Tracer tracer
 Search tracer.
Statistics stat
 Statistics.

Detailed Description

template<class Tracer>
class Gecode::Search::Seq::Dead< Tracer >

A dead engine (failed root).

Definition at line 44 of file dead.cpp.


Constructor & Destructor Documentation

template<class Tracer >
Gecode::Search::Seq::Dead< Tracer >::Dead ( const Options o,
const Statistics stat0 
) [inline]

Initialize.

Definition at line 64 of file dead.cpp.

template<class Tracer >
Gecode::Search::Seq::Dead< Tracer >::~Dead ( void   )  [inline, virtual]

Delete.

Definition at line 89 of file dead.cpp.


Member Function Documentation

template<class Tracer >
Space * Gecode::Search::Seq::Dead< Tracer >::next ( void   )  [inline, virtual]

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

Implements Gecode::Search::Engine.

Definition at line 72 of file dead.cpp.

template<class Tracer >
Statistics Gecode::Search::Seq::Dead< Tracer >::statistics ( void   )  const [inline, virtual]

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 84 of file dead.cpp.

template<class Tracer >
bool Gecode::Search::Seq::Dead< Tracer >::stopped ( void   )  const [inline, virtual]

Check whether engine has been stopped.

Implements Gecode::Search::Engine.

Definition at line 78 of file dead.cpp.


Member Data Documentation

template<class Tracer>
Tracer Gecode::Search::Seq::Dead< Tracer >::tracer [protected]

Search tracer.

Definition at line 47 of file dead.cpp.

template<class Tracer>
Statistics Gecode::Search::Seq::Dead< Tracer >::stat [protected]

Statistics.

Definition at line 49 of file dead.cpp.


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