#include <parser.h>
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) |
Node * | buildOneAndReplace (list< unsigned int > &path, Node *sub) |
Node * | duplicate () |
bool | isEqual (Node *n) |
Node * | find (list< unsigned int > &path) |
Public Attributes | |
int | id |
vector< Node * > | arguments |
Private Attributes | |
Parser * | parser |
Definition at line 82 of file parser.h.
Function::Function | ( | const char * | name, | |
Parser * | parser | |||
) |
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().
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().
void Function::setName | ( | const char * | name, | |
Parser * | parser | |||
) |
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.
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().
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.
Parser* Function::parser [private] |
Definition at line 84 of file parser.h.
Referenced by buildOneAndReplace(), checkSoundnessAndCalcul(), duplicate(), Function(), and print().
int Function::id |
vector<Node*> Function::arguments |
Definition at line 87 of file parser.h.
Referenced by addArgument(), buildOneAndReplace(), checkSoundnessAndCalcul(), containVar(), duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), find(), isEqual(), print(), and replace().