Function Class Reference

#include <parser.h>

Inheritance diagram for Function:

Inheritance graph
[legend]
Collaboration diagram for Function:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 Function (const char *name, Parser *parser)
 Function (int id, Parser *parser)
 Function ()
void addArgument (Node *n)
void print (std::ostream &o)
void checkSoundnessAndCalcul ()
bool containVar (int idvar)
void replace (int idvar, Node *n)
void setName (const char *name, Parser *parser)
NodebuildOneAndReplace (list< unsigned int > &path, Node *sub)
Nodeduplicate ()
bool isEqual (Node *n)
Nodefind (list< unsigned int > &path)

Public Attributes

int id
vector< Node * > arguments

Private Attributes

Parserparser


Detailed Description

Definition at line 82 of file parser.h.


Constructor & Destructor Documentation

Function::Function ( const char *  name,
Parser parser 
)

Definition at line 502 of file parser.cpp.

References Parser::fonctiontab.

Function::Function ( int  id,
Parser parser 
)

Definition at line 383 of file parser.cpp.

Function::Function (  ) 

Definition at line 390 of file parser.cpp.

References parser.

Referenced by buildOneAndReplace(), and duplicate().


Member Function Documentation

void Function::addArgument ( Node n  ) 

Definition at line 525 of file parser.cpp.

References arguments.

Referenced by buildOneAndReplace(), and duplicate().

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

Reimplemented from Node.

Definition at line 236 of file parser.cpp.

References arguments, Parser::fonctiontab, id, and parser.

void Function::checkSoundnessAndCalcul (  )  [virtual]

Reimplemented from Node.

Definition at line 619 of file parser.cpp.

References arguments, Parser::fonctiontab, Node::holePosition, id, Node::ndHole, Node::ndterms, parser, and Node::rhoterm.

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

the search for a variable

Reimplemented from Node.

Definition at line 837 of file parser.cpp.

References arguments.

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

repalce a variable by a generic node

Reimplemented from Node.

Definition at line 890 of file parser.cpp.

References arguments, Node::duplicate(), and Node::replace().

Here is the call graph for this function:

void Function::setName ( const char *  name,
Parser parser 
)

Definition at line 397 of file parser.cpp.

References Parser::fonctiontab.

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

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

Reimplemented from Node.

Definition at line 1088 of file parser.cpp.

References addArgument(), arguments, Function(), and parser.

Here is the call graph for this function:

Node * Function::duplicate (  )  [virtual]

duplicate the node

Implements Node.

Definition at line 995 of file parser.cpp.

References addArgument(), arguments, Function(), and parser.

Referenced by Unification::tryApplyR5().

Here is the call graph for this function:

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

equality of structure

Reimplemented from Node.

Definition at line 1168 of file parser.cpp.

References arguments.

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

search for the node at the position path

Reimplemented from Node.

Definition at line 1126 of file parser.cpp.

References arguments.


Member Data Documentation

Definition at line 84 of file parser.h.

Referenced by buildOneAndReplace(), checkSoundnessAndCalcul(), duplicate(), Function(), and print().

Definition at line 86 of file parser.h.

Referenced by checkSoundnessAndCalcul(), and print().


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