Gecode::Search::ReCoStack Class Reference
#include <stack.hh>
Inherits Gecode::Search::BaseStack< ReCoNode >.
Detailed Description
Stack of nodes for 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 68 of file stack.hh.
Public Member Functions | |
ReCoStack (unsigned int) | |
BranchingDesc * | push (Space *, Space *, unsigned int) |
bool | next (FullStatistics &) |
Space * | recompute (unsigned int &, FullStatistics &) |
Constructor & Destructor Documentation
|
|
Member Function Documentation
|
|
|
|
|
|
The documentation for this class was generated from the following files:
- search/stack.hh (Revision: 2192)
- search/stack.cc (Revision: 2192)
- search/stack.icc (Revision: 2192)