Gecode::Search::Sequential::Probe Class Reference
Probe engine for LDS
More...
#include <lds.hh>
List of all members.
Detailed Description
Probe engine for LDS
Definition at line 48 of file lds.hh.
Constructor & Destructor Documentation
Gecode::Search::Sequential::Probe::Probe |
( |
void |
|
) |
[inline] |
Initialize.
Definition at line 170 of file lds.hh.
Gecode::Search::Sequential::Probe::~Probe |
( |
void |
|
) |
[inline] |
Destructor.
Definition at line 198 of file lds.hh.
Member Function Documentation
void Gecode::Search::Sequential::Probe::init |
( |
Space * |
s |
) |
[inline] |
Initialize with space s.
Definition at line 174 of file lds.hh.
void Gecode::Search::Sequential::Probe::reset |
( |
Space * |
s, |
|
|
unsigned int |
d | |
|
) |
| | [inline] |
Reset with space s and discrepancy d.
Definition at line 179 of file lds.hh.
Statistics Gecode::Search::Sequential::Probe::statistics |
( |
void |
|
) |
const [inline] |
Return statistics.
Definition at line 188 of file lds.hh.
Space * Gecode::Search::Sequential::Probe::next |
( |
const Options & |
o |
) |
[inline] |
Search for next solution
Definition at line 205 of file lds.hh.
bool Gecode::Search::Sequential::Probe::done |
( |
void |
|
) |
const [inline] |
Test whether probing is done.
Definition at line 193 of file lds.hh.
Member Data Documentation
Stack storing current path in search tree
Definition at line 74 of file lds.hh.
Current space.
Definition at line 76 of file lds.hh.
Current discrepancy.
Definition at line 78 of file lds.hh.
Whether entire search space has been exhausted.
Definition at line 80 of file lds.hh.
The documentation for this class was generated from the following file: