Gecode::Search::Sequential::Path Class Reference
Depth-first path (stack of edges) supporting recomputation.
More...
#include <path.hh>
List of all members.
Classes |
class | Edge |
| Search tree edge for recomputation More...
|
Public Member Functions |
| Path (unsigned int l) |
| Initialize with no-good depth limit l.
|
unsigned int | ngdl (void) const |
| Return no-good depth limit.
|
void | ngdl (unsigned int l) |
| Set no-good depth limit to l.
|
const Choice * | push (Worker &stat, Space *s, Space *c) |
| Push space c (a clone of s or NULL).
|
void | next (void) |
| Generate path for next node.
|
Edge & | top (void) const |
| Provide access to topmost edge.
|
bool | empty (void) const |
| Test whether path is empty.
|
int | lc (void) const |
| Return position on stack of last copy.
|
void | unwind (int l) |
| Unwind the stack up to position l (after failure).
|
void | commit (Space *s, int i) const |
| Commit space s as described by stack entry at position i.
|
Space * | recompute (unsigned int &d, unsigned int a_d, Worker &s) |
| Recompute space according to path.
|
Space * | recompute (unsigned int &d, unsigned int a_d, Worker &s, const Space &best, int &mark) |
| Recompute space according to path.
|
int | entries (void) const |
| Return number of entries on stack.
|
void | reset (void) |
| Reset stack.
|
virtual void | post (Space &home) const |
| Post no-goods.
|
Protected Attributes |
Support::DynamicStack< Edge, Heap > | ds |
| Stack to store edge information.
|
unsigned int | _ngdl |
| Depth limit for no-good generation.
|
Detailed Description
Depth-first path (stack of edges) supporting recomputation.
Maintains the invariant that it contains the path of the space being currently explored. This is required to support recomputation, of course.
The path supports adaptive recomputation controlled by the value of a_d: only if the recomputation distance is at least this large, an additional clone is created.
Definition at line 61 of file path.hh.
Constructor & Destructor Documentation
Gecode::Search::Sequential::Path::Path |
( |
unsigned int |
l |
) |
[inline] |
Initialize with no-good depth limit l.
Definition at line 208 of file path.hh.
Member Function Documentation
unsigned int Gecode::Search::Sequential::Path::ngdl |
( |
void |
|
) |
const [inline] |
Return no-good depth limit.
Definition at line 212 of file path.hh.
void Gecode::Search::Sequential::Path::ngdl |
( |
unsigned int |
l |
) |
[inline] |
Set no-good depth limit to l.
Definition at line 217 of file path.hh.
Push space c (a clone of s or NULL).
Definition at line 222 of file path.hh.
void Gecode::Search::Sequential::Path::next |
( |
void |
|
) |
[inline] |
Generate path for next node.
Definition at line 234 of file path.hh.
Path::Edge & Gecode::Search::Sequential::Path::top |
( |
void |
|
) |
const [inline] |
Provide access to topmost edge.
Definition at line 245 of file path.hh.
bool Gecode::Search::Sequential::Path::empty |
( |
void |
|
) |
const [inline] |
int Gecode::Search::Sequential::Path::lc |
( |
void |
|
) |
const [inline] |
Return position on stack of last copy.
Definition at line 262 of file path.hh.
void Gecode::Search::Sequential::Path::unwind |
( |
int |
l |
) |
[inline] |
Unwind the stack up to position l (after failure).
Definition at line 275 of file path.hh.
void Gecode::Search::Sequential::Path::commit |
( |
Space * |
s, |
|
|
int |
i | |
|
) |
| | const [inline] |
Commit space s as described by stack entry at position i.
Definition at line 256 of file path.hh.
Space * Gecode::Search::Sequential::Path::recompute |
( |
unsigned int & |
d, |
|
|
unsigned int |
a_d, |
|
|
Worker & |
s | |
|
) |
| | [inline] |
Recompute space according to path.
Definition at line 290 of file path.hh.
Space * Gecode::Search::Sequential::Path::recompute |
( |
unsigned int & |
d, |
|
|
unsigned int |
a_d, |
|
|
Worker & |
s, |
|
|
const Space & |
best, |
|
|
int & |
mark | |
|
) |
| | [inline] |
Recompute space according to path.
Definition at line 354 of file path.hh.
int Gecode::Search::Sequential::Path::entries |
( |
void |
|
) |
const [inline] |
Return number of entries on stack.
Definition at line 270 of file path.hh.
void Gecode::Search::Sequential::Path::reset |
( |
void |
|
) |
[inline] |
Reset stack.
Definition at line 284 of file path.hh.
void Gecode::Search::Sequential::Path::post |
( |
Space & |
home |
) |
const [virtual] |
Member Data Documentation
Stack to store edge information.
Definition at line 105 of file path.hh.
Depth limit for no-good generation.
Definition at line 107 of file path.hh.
The documentation for this class was generated from the following files: