Gecode::Search::ProbeEngine Class Reference
#include <search.hh>
Inherits Gecode::Search::EngineCtrl.
List of all members.
Detailed Description
Probing engine for LDS.
Definition at line 468 of file search.hh.
|
Public Member Functions |
| ProbeEngine (Stop *st, 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.
|
size_t | stacksize (void) const |
| Return stack size used by engine.
|
| ~ProbeEngine (void) |
| Destructor.
|
Space * | explore (void) |
| Search for next solution
|
bool | done (void) const |
| Test whether probing is done.
|
Protected Attributes |
Support::DynamicStack< ProbeNode > | 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.
|
Classes |
class | ProbeNode |
| Node in the search tree for LDS More...
|
Constructor & Destructor Documentation
Gecode::Search::ProbeEngine::ProbeEngine |
( |
Stop * |
st, |
|
|
size_t |
s | |
|
) |
| | [inline] |
Initialize for spaces of size s.
Definition at line 85 of file lds.cc.
Gecode::Search::ProbeEngine::~ProbeEngine |
( |
void |
|
) |
[inline] |
Destructor.
Definition at line 116 of file lds.cc.
Member Function Documentation
void Gecode::Search::ProbeEngine::init |
( |
Space * |
s, |
|
|
unsigned int |
d | |
|
) |
| | [inline] |
Initialize with space s and discrepancy d.
Definition at line 89 of file lds.cc.
void Gecode::Search::ProbeEngine::reset |
( |
Space * |
s, |
|
|
unsigned int |
d | |
|
) |
| | [inline] |
Reset with space s and discrepancy d.
Definition at line 96 of file lds.cc.
size_t Gecode::Search::ProbeEngine::stacksize |
( |
void |
|
) |
const [inline] |
Return stack size used by engine.
Definition at line 106 of file lds.cc.
Space * Gecode::Search::ProbeEngine::explore |
( |
void |
|
) |
[inline] |
Search for next solution
Definition at line 123 of file lds.cc.
bool Gecode::Search::ProbeEngine::done |
( |
void |
|
) |
const [inline] |
Test whether probing is done.
Definition at line 111 of file lds.cc.
Member Data Documentation
Stack storing current path in search tree
Definition at line 492 of file search.hh.
Current discrepancy.
Definition at line 496 of file search.hh.
Whether entire search space has been exhausted.
Definition at line 498 of file search.hh.
The documentation for this class was generated from the following files: