Gecode::Search::BabEngine Class Reference

#include <search.hh>

Detailed Description

Implementation of depth-first branch-and-bound search engines.

Definition at line 519 of file search.hh.

Public Member Functions

BabEngine (unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)

Initialize engine.

void init (Space *s)

Initialize engine to start at space s.

bool explore (Space *&s1, Space *&s2)

Search for next better solution

size_t stacksize (void) const

Return stack size used by engine.

~BabEngine (void)

Destructor.

Constructor & Destructor Documentation

Gecode::Search::BabEngine::BabEngine	(	unsigned int	c_d,
		unsigned int	a_d,
		Stop *	st,
		size_t	sz
	)			`[inline]`

Initialize engine.

Parameters:

	c_d	minimal recomputation distance
	a_d	adaptive recomputation distance
	st	Stop-object
	sz	size of one space

Definition at line 36 of file bab.icc.

Gecode::Search::BabEngine::~BabEngine ( void ) [inline]

Destructor.

Definition at line 53 of file bab.icc.

Member Function Documentation

void Gecode::Search::BabEngine::init ( Space * s ) [inline]

Initialize engine to start at space s.

Definition at line 43 of file bab.icc.

bool Gecode::Search::BabEngine::explore	(	Space *&	s1,
		Space *&	s2
	)

Search for next better solution

If true is returned, a next better solution has been found. This solution is available from s1.

If false is returned, the engine requires that the space s1 is constrained to be better by the so-far best solution s2.

Definition at line 38 of file bab.cc.

size_t Gecode::Search::BabEngine::stacksize ( void ) const [inline]

Return stack size used by engine.

Definition at line 48 of file bab.icc.

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


Public Member Functions
	BabEngine (unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)
	Initialize engine.
void	init (Space *s)
	Initialize engine to start at space s.
bool	explore (Space &s1, Space &s2)
	Search for next better solution
size_t	stacksize (void) const
	Return stack size used by engine.
	~BabEngine (void)
	Destructor.