Gecode::Search::BAB

Gecode::Search::BAB Class Reference

#include <search.hh>

Detailed Description

Depth-first branch-and-bound search engine.

This class implements depth-first branch-and-bound exploration for spaces. In order to use it on subclasses of Space, additional functionality providing the necessary typecasts is available in Gecode::BAB:

Definition at line 604 of file search.hh.

Public Member Functions

BAB (Space *s, unsigned int c_d, unsigned int a_d, Stop *st, size_t sz)

Initialize engine.

bool stopped (void) const

Check whether engine has been stopped.

Statistics statistics (void) const

Return statistics.

Protected Attributes

BabEngine e

Engine used for exploration.

Constructor & Destructor Documentation

Gecode::Search::BAB::BAB ( Space * s,

unsigned int c_d,

unsigned int a_d,

Stop * st,

size_t sz

)

Initialize engine.

Parameters:

s root node

c_d minimal recomputation distance

a_d adaptive recomputation distance

st Stop-object

sz size of one space

Definition at line 126 of file bab.cc.

Member Function Documentation

bool Gecode::Search::BAB::stopped ( void ) const

Check whether engine has been stopped.

Definition at line 140 of file bab.cc.

Statistics Gecode::Search::BAB::statistics ( void ) const

Return statistics.

Definition at line 145 of file bab.cc.

Member Data Documentation

BabEngine Gecode::Search::BAB::e [protected]

Engine used for exploration.

Definition at line 607 of file search.hh.

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

gecode/search.hh (Revision: 3516)
gecode/search/bab.cc (Revision: 3511)


Public Member Functions
	BAB (Space s, unsigned int c_d, unsigned int a_d, Stop st, size_t sz)
	Initialize engine.
bool	stopped (void) const
	Check whether engine has been stopped.
Statistics	statistics (void) const
	Return statistics.
Protected Attributes
BabEngine	e
	Engine used for exploration.