#include <parser.h>
Public Member Functions | |
Equal (Node *n1, Node *n2) | |
void | print (std::ostream &o) |
void | checkSoundnessAndCalcul () |
bool | containVar (int idvar) |
void | replace (int idvar, Node *n) |
Node * | duplicate () |
bool | isEqual (Node *n) |
Public Attributes | |
Node * | n1 |
Node * | n2 |
Definition at line 192 of file parser.h.
void Equal::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented from Node.
Definition at line 224 of file parser.cpp.
References n1, n2, and Node::print().
void Equal::checkSoundnessAndCalcul | ( | ) | [virtual] |
Reimplemented from Node.
Definition at line 655 of file parser.cpp.
References Node::checkSoundnessAndCalcul(), n1, n2, Node::ndHole, Node::ndterms, and Node::rhoterm.
bool Equal::containVar | ( | int | idvar | ) | [virtual] |
the search for a variable
Reimplemented from Node.
Definition at line 873 of file parser.cpp.
References Node::containVar(), n1, and n2.
void Equal::replace | ( | int | idvar, | |
Node * | n | |||
) | [virtual] |
repalce a variable by a generic node
Reimplemented from Node.
Definition at line 926 of file parser.cpp.
References Node::duplicate(), n1, n2, and Node::replace().
Node * Equal::duplicate | ( | ) | [virtual] |
duplicate the node
Implements Node.
Definition at line 1031 of file parser.cpp.
References Node::duplicate(), Equal(), n1, and n2.
bool Equal::isEqual | ( | Node * | n | ) | [virtual] |
equality of structure
Reimplemented from Node.
Definition at line 1234 of file parser.cpp.
References Node::isEqual(), n1, and n2.
Definition at line 195 of file parser.h.
Referenced by checkSoundnessAndCalcul(), containVar(), duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), isEqual(), print(), replace(), Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
Definition at line 196 of file parser.h.
Referenced by checkSoundnessAndCalcul(), containVar(), duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), isEqual(), print(), replace(), Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().