Gecode::BAB< T > Class Template Reference
Depth-first branch-and-bound search engine. More...
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. |
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.
Constructor & Destructor Documentation
|Gecode::BAB< T >::BAB||(||T *||s,|
|const Search::Options &|| o = |
Member Function Documentation
|T * Gecode::BAB< T >::next||(||void||)||
|bool Gecode::BAB< T >::stopped||(||void||)|| const
The documentation for this class was generated from the following files: