Generated on Thu Jul 6 07:07:05 2006 for Gecode by doxygen 1.4.7

Gecode::Search::ReCoNode Class Reference

#include <search.hh>

List of all members.


Detailed Description

Search tree node for recomputation

Definition at line 224 of file search.hh.

Public Member Functions

 ReCoNode (Space *s, Space *c, unsigned int alt)
 Node for space s with clone c (possibly NULL) and alternatives alt.
Spacespace (void) const
 Return space for node.
unsigned int alt (void) const
 Return number for alternatives.
BranchingDescdesc (void) const
 Return branching description.
void space (Space *s)
 Set space to s.
void alt (unsigned int a)
 Set number of alternatives to a.
void desc (BranchingDesc *d)
 Set branching description to d.
bool rightmost (void) const
 Test whether current alternative is rightmost.
void next (void)
 Movre to next alternative.
unsigned int share (void)
 Return the rightmost alternative and remove it.
void dispose (void)
 Free memory for node.

Protected Attributes

Space_space
 Space corresponding to this node (might be NULL).
unsigned int _alt
 Current alternative.
unsigned int _last
 Last alternative.
BranchingDesc_desc
 Braching description.


Constructor & Destructor Documentation

Gecode::Search::ReCoNode::ReCoNode ( Space s,
Space c,
unsigned int  alt 
) [inline]

Node for space s with clone c (possibly NULL) and alternatives alt.

Definition at line 30 of file reco-stack.icc.


Member Function Documentation

Space * Gecode::Search::ReCoNode::space ( void   )  const [inline]

Return space for node.

Definition at line 35 of file reco-stack.icc.

unsigned int Gecode::Search::ReCoNode::alt ( void   )  const [inline]

Return number for alternatives.

Definition at line 44 of file reco-stack.icc.

BranchingDesc * Gecode::Search::ReCoNode::desc ( void   )  const [inline]

Return branching description.

Definition at line 62 of file reco-stack.icc.

void Gecode::Search::ReCoNode::space ( Space s  )  [inline]

Set space to s.

Definition at line 39 of file reco-stack.icc.

void Gecode::Search::ReCoNode::alt ( unsigned int  a  )  [inline]

Set number of alternatives to a.

Definition at line 48 of file reco-stack.icc.

void Gecode::Search::ReCoNode::desc ( BranchingDesc d  )  [inline]

Set branching description to d.

Definition at line 66 of file reco-stack.icc.

bool Gecode::Search::ReCoNode::rightmost ( void   )  const [inline]

Test whether current alternative is rightmost.

Definition at line 53 of file reco-stack.icc.

void Gecode::Search::ReCoNode::next ( void   )  [inline]

Movre to next alternative.

Definition at line 57 of file reco-stack.icc.

unsigned int Gecode::Search::ReCoNode::share ( void   )  [inline]

Return the rightmost alternative and remove it.

Definition at line 77 of file reco-stack.icc.

void Gecode::Search::ReCoNode::dispose ( void   )  [inline]

Free memory for node.

Definition at line 71 of file reco-stack.icc.


Member Data Documentation

Space corresponding to this node (might be NULL).

Definition at line 227 of file search.hh.

unsigned int Gecode::Search::ReCoNode::_alt [protected]

Current alternative.

Definition at line 229 of file search.hh.

unsigned int Gecode::Search::ReCoNode::_last [protected]

Last alternative.

Definition at line 231 of file search.hh.

Braching description.

Definition at line 233 of file search.hh.


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