Node Class Reference

#include <parser.h>

Inheritance diagram for Node:

Inheritance graph
[legend]

List of all members.

Public Member Functions

virtual void print (std::ostream &o)
virtual void checkSoundnessAndCalcul ()
virtual bool containVar (int idvar)
virtual void replace (int idvar, Node *n)
virtual Nodeduplicate ()=0
virtual ~Node ()
virtual bool isEqual (Node *n)
 Node ()
virtual Nodefind (list< unsigned int > &path)
virtual NodebuildOneAndReplace (list< unsigned int > &path, Node *sub)

Public Attributes

bool rhoterm
int ndHole
list< unsigned int > * holePosition

Static Public Attributes

static int ndterms


Detailed Description

Definition at line 12 of file parser.h.


Constructor & Destructor Documentation

Node::~Node (  )  [virtual]

Definition at line 338 of file parser.cpp.

Node::Node (  ) 

Definition at line 331 of file parser.cpp.

References holePosition, ndHole, and rhoterm.


Member Function Documentation

void Node::print ( std::ostream &  o  )  [virtual]

void Node::checkSoundnessAndCalcul (  )  [virtual]

Reimplemented in Hole, Variable, Function, Or, And, Equal, and Expo.

Definition at line 572 of file parser.cpp.

References ndHole, ndterms, and rhoterm.

Referenced by Parser::checkSoundness(), Expo::checkSoundnessAndCalcul(), and Equal::checkSoundnessAndCalcul().

bool Node::containVar ( int  idvar  )  [virtual]

the search for a variable

Reimplemented in Variable, Function, Or, And, Equal, and Expo.

Definition at line 827 of file parser.cpp.

Referenced by Expo::containVar(), Equal::containVar(), and Unification::tryApplyR1().

void Node::replace ( int  idvar,
Node n 
) [virtual]

repalce a variable by a generic node

Reimplemented in Function, Or, And, Equal, and Expo.

Definition at line 886 of file parser.cpp.

Referenced by Expo::replace(), Equal::replace(), And::replace(), Or::replace(), Function::replace(), and Unification::tryApplyR1().

virtual Node* Node::duplicate (  )  [pure virtual]

bool Node::isEqual ( Node n  )  [virtual]

equality of structure

Reimplemented in Variable, Function, Or, And, Equal, and Expo.

Definition at line 1149 of file parser.cpp.

Referenced by Expo::isEqual(), Equal::isEqual(), and Unification::tryApplyR1().

Node * Node::find ( list< unsigned int > &  path  )  [virtual]

search for the node at the position path

Reimplemented in Function.

Definition at line 1120 of file parser.cpp.

Referenced by Unification::tryApplyR5().

Node * Node::buildOneAndReplace ( list< unsigned int > &  path,
Node sub 
) [virtual]

duplicate the tree and replace the node a the position path by sub

Reimplemented in Function.

Definition at line 1082 of file parser.cpp.

Referenced by Unification::tryApplyR3(), and Unification::tryApplyR5().


Member Data Documentation

list<unsigned int>* Node::holePosition

int Node::ndterms [static]


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