Implementation of depth-first branch-and-bound search engine. More...
#include <bab.hh>
Public Member Functions | |
BAB (Space *s, const Options &o) | |
Initialize with space s and search options o. | |
Space * | next (void) |
Search for next better solution | |
Statistics | statistics (void) const |
Return statistics. | |
void | reset (Space *s) |
Reset engine to restart at space s. | |
NoGoods & | nogoods (void) |
Return no-goods. | |
~BAB (void) | |
Destructor. |
Gecode::Search::Sequential::BAB::BAB | ( | Space * | s, |
const Options & | o | ||
) | [inline] |
Gecode::Search::Sequential::BAB::~BAB | ( | void | ) | [inline] |
Space * Gecode::Search::Sequential::BAB::next | ( | void | ) | [inline] |
Statistics Gecode::Search::Sequential::BAB::statistics | ( | void | ) | const [inline] |
void Gecode::Search::Sequential::BAB::reset | ( | Space * | s | ) | [inline] |
NoGoods & Gecode::Search::Sequential::BAB::nogoods | ( | void | ) | [inline] |