NodeIterator Class Reference

#include <parser.h>

Collaboration diagram for NodeIterator:

Collaboration graph
[legend]

List of all members.

Public Types

enum  Mode { DEPTH_FIRST, BREADTH_FIRST }

Public Member Functions

void setUnderEqual (bool u)
 NodeIterator (Node *n, Node **direct, Mode mode)
const list< unsigned int > & getPosition ()
Nodenext ()
void reset ()
void replaceBy (Node *n)

Private Attributes

Mode mode
list< StackElementstack
StackElement last
Noden
Node ** direct
bool allowUnderEqual


Detailed Description

Definition at line 261 of file parser.h.


Member Enumeration Documentation

Enumerator:
DEPTH_FIRST 
BREADTH_FIRST 

Definition at line 264 of file parser.h.


Constructor & Destructor Documentation

NodeIterator::NodeIterator ( Node n,
Node **  direct,
Mode  mode 
)

Definition at line 706 of file parser.cpp.

References allowUnderEqual, and stack.


Member Function Documentation

void NodeIterator::setUnderEqual ( bool  u  ) 

Definition at line 716 of file parser.cpp.

References allowUnderEqual.

Referenced by Unification::ApplyR0().

const list< unsigned int > & NodeIterator::getPosition (  ) 

Node * NodeIterator::next (  ) 

void NodeIterator::reset (  ) 

come back to the initial possition

Definition at line 817 of file parser.cpp.

References direct, n, and stack.

Referenced by Unification::tryApplyR1().

void NodeIterator::replaceBy ( Node n  ) 


Member Data Documentation

Definition at line 270 of file parser.h.

Referenced by next().

Definition at line 271 of file parser.h.

Referenced by next(), NodeIterator(), and reset().

Definition at line 272 of file parser.h.

Referenced by getPosition(), next(), and replaceBy().

Node* NodeIterator::n [private]

Definition at line 273 of file parser.h.

Referenced by reset().

Definition at line 274 of file parser.h.

Referenced by reset().

Definition at line 275 of file parser.h.

Referenced by next(), NodeIterator(), and setUnderEqual().


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

Generated on Thu Jun 19 19:14:33 2008 for unification by  doxygen 1.5.6