Probe engine for LDS
More...
#include <lds.hh>
List of all members.
Classes |
class | Node |
| Node in the search tree for LDS More...
|
Public Member Functions |
| Probe (size_t s) |
| Initialize for spaces of size s.
|
void | init (Space *s, unsigned int d) |
| Initialize with space s and discrepancy d.
|
void | reset (Space *s, unsigned int d) |
| Reset with space s and discrepancy d.
|
Statistics | statistics (void) const |
| Return statistics.
|
| ~Probe (void) |
| Destructor.
|
Space * | explore (const Options &o) |
| Search for next solution
|
bool | done (void) const |
| Test whether probing is done.
|
Protected Attributes |
Support::DynamicStack< Node, Heap > | ds |
| Stack storing current path in search tree
|
Space * | cur |
| Current space.
|
unsigned int | d |
| Current discrepancy.
|
bool | exhausted |
| Whether entire search space has been exhausted.
|
Detailed Description
Probe engine for LDS
Definition at line 48 of file lds.hh.
Constructor & Destructor Documentation
Gecode::Search::Sequential::Probe::Probe |
( |
size_t |
s |
) |
[inline] |
Initialize for spaces of size s.
Definition at line 166 of file lds.hh.
Gecode::Search::Sequential::Probe::~Probe |
( |
void |
|
) |
[inline] |
Destructor.
Definition at line 199 of file lds.hh.
Member Function Documentation
void Gecode::Search::Sequential::Probe::init |
( |
Space * |
s, |
|
|
unsigned int |
d | |
|
) |
| | [inline] |
Initialize with space s and discrepancy d.
Definition at line 170 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 177 of file lds.hh.
Statistics Gecode::Search::Sequential::Probe::statistics |
( |
void |
|
) |
const [inline] |
Return statistics.
Definition at line 187 of file lds.hh.
Space * Gecode::Search::Sequential::Probe::explore |
( |
const Options & |
o |
) |
[inline] |
Search for next solution
Definition at line 206 of file lds.hh.
bool Gecode::Search::Sequential::Probe::done |
( |
void |
|
) |
const [inline] |
Test whether probing is done.
Definition at line 194 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: