Gecode::Search::Sequential::LDS Class Reference

Limited discrepancy search engine implementation. More...

#include <lds.hh>

List of all members.

Public Member Functions
	LDS (Space *s, const Options &o)
	Initialize for space s with options o.
virtual Space *	next (void)
	Return next solution (NULL, if none exists or search has been stopped).
virtual Statistics	statistics (void) const
	Return statistics.
void	constrain (const Space &b)
	Constrain future solutions to be better than b (should never be called).
void	reset (Space *s)
	Reset engine to restart at space s.
virtual bool	stopped (void) const
	Check whether engine has been stopped.
virtual	~LDS (void)
	Destructor.
Protected Attributes
Options	opt
	Search options.
Probe	e
	The probe engine.
Space *	root
	Root node for problem.
unsigned int	d
	Current discrepancy.
bool	no_solution
	Solution found for current discrepancy.

---

Detailed Description

Limited discrepancy search engine implementation.

Definition at line 99 of file lds.hh.

---

Constructor & Destructor Documentation

Gecode::Search::Sequential::LDS::LDS	(	Space *	s,
		const Options &	o
	)			[inline]

Initialize for space s with options o.

Definition at line 288 of file lds.hh.

Gecode::Search::Sequential::LDS::~LDS

(

void

)

[virtual]

Destructor.

Definition at line 80 of file lds.cpp.

---

Member Function Documentation

Space * Gecode::Search::Sequential::LDS::next

(

void

)

[virtual]

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

Implements Gecode::Search::Engine.

Definition at line 52 of file lds.cpp.

Statistics Gecode::Search::Sequential::LDS::statistics

(

void

)

const [virtual]

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 76 of file lds.cpp.

void Gecode::Search::Sequential::LDS::constrain

(

const Space &

b

)

[inline, virtual]

Constrain future solutions to be better than b (should never be called).

Reimplemented from Gecode::Search::Engine.

Definition at line 320 of file lds.hh.

void Gecode::Search::Sequential::LDS::reset

(

Space *

s

)

[inline, virtual]

Reset engine to restart at space s.

Reimplemented from Gecode::Search::Engine.

Definition at line 304 of file lds.hh.

bool Gecode::Search::Sequential::LDS::stopped

(

void

)

const [virtual]

Check whether engine has been stopped.

Implements Gecode::Search::Engine.

Definition at line 71 of file lds.cpp.

---

Member Data Documentation

Options Gecode::Search::Sequential::LDS::opt [protected]

Search options.

Definition at line 102 of file lds.hh.

Probe Gecode::Search::Sequential::LDS::e [protected]

The probe engine.

Definition at line 104 of file lds.hh.

Space* Gecode::Search::Sequential::LDS::root [protected]

Root node for problem.

Definition at line 106 of file lds.hh.

unsigned int Gecode::Search::Sequential::LDS::d [protected]

Current discrepancy.

Definition at line 108 of file lds.hh.

bool Gecode::Search::Sequential::LDS::no_solution [protected]

Solution found for current discrepancy.

Definition at line 110 of file lds.hh.

---

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

• gecode/search/sequential/lds.hh (Revision: 15542)
• gecode/search/sequential/lds.cpp (Revision: 15169)