Gecode::BAB< T > Class Template Reference
[Search engines]
Depth-first branch-and-bound search engine. More...
#include <search.hh>
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] |
template<class T >
| Gecode::BAB< T >::~BAB | ( | void | ) | [inline] |
Member Function Documentation
template<class T >
| T * Gecode::BAB< T >::next | ( | void | ) | [inline] |
template<class T >
| Search::Statistics Gecode::BAB< T >::statistics | ( | void | ) | const [inline] |
template<class T >
| bool Gecode::BAB< T >::stopped | ( | void | ) | const [inline] |
The documentation for this class was generated from the following files:
- gecode/search.hh (Revision: 11498)
- gecode/search/bab.hpp (Revision: 9692)