Gecode::Search::Meta::Dead Class Reference

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

#include <dead.hh>

List of all members.

Public Member Functions
	Dead (const Statistics &stat0)
	Initialize.
virtual Space *	next (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.
Protected Attributes
Statistics	stat
	Statistics.

---

Detailed Description

A dead engine (failed root).

Definition at line 44 of file dead.hh.

---

Constructor & Destructor Documentation

Gecode::Search::Meta::Dead::Dead

(

const Statistics &

stat0

)

Initialize.

Definition at line 42 of file dead.cpp.

---

Member Function Documentation

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 Gecode::Search::Meta::Dead::statistics

(

void

)

const [virtual]

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 56 of file dead.cpp.

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

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:

• gecode/search/meta/dead.hh (Revision: 14814)
• gecode/search/meta/dead.cpp (Revision: 14967)