Generated on Tue Sep 25 2012 20:53:26 for Gecode by doxygen 1.7.5
Gecode::BAB Class 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

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.


Constructor & Destructor Documentation

Gecode::BAB::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.

Gecode::BAB::~BAB ( void  ) [inline]

Destructor.

Definition at line 74 of file bab.hpp.


Member Function Documentation

T * Gecode::BAB::next ( void  ) [inline]

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

Definition at line 56 of file bab.hpp.

Search::Statistics Gecode::BAB::statistics ( void  ) const [inline]

Return statistics.

Definition at line 62 of file bab.hpp.

bool Gecode::BAB::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: