Gecode::Search::ReCoStack Class Reference
#include <search.hh>
Inherits Gecode::Support::DynamicStack< T >< Gecode::Search::ReCoNode >.
Detailed Description
Stack of nodes supporting recomputation.Maintains the invariant that it contains the path of the node being currently explored. This is required to support recomputation, of course.
The stack 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 273 of file search.hh.
Public Member Functions | |
ReCoStack (unsigned int a_d) | |
Initialize with adaptive recomputation distance a_d. | |
BranchingDesc * | push (Space *s, Space *c, unsigned int a) |
Push space c (a clone of a or NULL) with alternatives a. | |
bool | next (EngineCtrl &s) |
Generate path for next node and return whether a next node exists. | |
Space * | recompute (unsigned int &d, EngineCtrl &s) |
Recompute space according to path with copying distance d. | |
void | reset (void) |
Reset stack. |
Constructor & Destructor Documentation
Gecode::Search::ReCoStack::ReCoStack | ( | unsigned int | a_d | ) | [inline] |
Member Function Documentation
BranchingDesc * Gecode::Search::ReCoStack::push | ( | Space * | s, | |
Space * | c, | |||
unsigned int | a | |||
) | [inline] |
Push space c (a clone of a or NULL) with alternatives a.
Definition at line 91 of file reco-stack.icc.
bool Gecode::Search::ReCoStack::next | ( | EngineCtrl & | s | ) | [inline] |
Generate path for next node and return whether a next node exists.
Definition at line 98 of file reco-stack.icc.
Space * Gecode::Search::ReCoStack::recompute | ( | unsigned int & | d, | |
EngineCtrl & | s | |||
) |
Recompute space according to path with copying distance d.
Definition at line 27 of file reco-stack.cc.
void Gecode::Search::ReCoStack::reset | ( | void | ) | [inline] |
The documentation for this class was generated from the following files:
- gecode/search.hh (Revision: 3226)
- gecode/search/reco-stack.cc (Revision: 3188)
- gecode/search/reco-stack.icc (Revision: 3141)