Generated on Wed Jan 4 17:49:23 2006 for Gecode by doxygen 1.4.6

Gecode::Search::ReCoStack Class Reference

#include <stack.hh>

Inherits Gecode::Search::BaseStack< ReCoNode >.

List of all members.


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)
BranchingDescpush (Space *, Space *, unsigned int)
bool next (FullStatistics &)
Spacerecompute (unsigned int &, FullStatistics &)


Constructor & Destructor Documentation

Gecode::Search::ReCoStack::ReCoStack unsigned  int  )  [inline]
 

Definition at line 60 of file stack.icc.


Member Function Documentation

BranchingDesc * Gecode::Search::ReCoStack::push Space ,
Space ,
unsigned  int
[inline]
 

Definition at line 63 of file stack.icc.

bool Gecode::Search::ReCoStack::next FullStatistics  )  [inline]
 

Definition at line 70 of file stack.icc.

Space * Gecode::Search::ReCoStack::recompute unsigned int &  ,
FullStatistics
 

Definition at line 27 of file stack.cc.


The documentation for this class was generated from the following files: