Gecode::BAB< T > Class Template Reference

Depth-first branch-and-bound search engine. More...

#include <search.hh>

List of all members.

Public Member Functions
	BAB (T *s, const Search::Options &o=Search::Options::def)
	Initialize engine for space s and options o.
T *	next (void)
	Return next better solution (NULL, if none exists or search has been stopped)
Search::Statistics	statistics (void) const
	Return statistics.
bool	stopped (void) const
	Check whether engine has been stopped.
	~BAB (void)
	Destructor.

---

Detailed Description

template<class T>
class Gecode::BAB< T >

Depth-first branch-and-bound search engine.

Additionally, s must implement a member function

 virtual void constrain(const T& t) 

Whenever exploration requires to add a constraint to the space c currently being explored, the engine executes c.constrain(t) where t is the so-far best solution.

Definition at line 373 of file search.hh.

---

Constructor & Destructor Documentation

template<class T >

Gecode::BAB< T >::BAB	(	T *	s,
		const Search::Options &	o = Search::Options::def
	)		[inline]

Initialize engine for space s and options o.

Definition at line 51 of file bab.hpp.

template<class T >

Gecode::BAB< T >::~BAB

(

void

)

[inline]

Destructor.

Definition at line 74 of file bab.hpp.

---

Member Function Documentation

template<class T >

T * Gecode::BAB< T >::next

(

void

)

[inline]

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

Definition at line 56 of file bab.hpp.

template<class T >

Search::Statistics Gecode::BAB< T >::statistics

(

void

)

const [inline]

Return statistics.

Definition at line 62 of file bab.hpp.

template<class T >

bool Gecode::BAB< T >::stopped

(

void

)

const [inline]

Check whether engine has been stopped.

Definition at line 68 of file bab.hpp.

---

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

• gecode/search.hh (Revision: 11498)
• gecode/search/bab.hpp (Revision: 9692)