#include <parser.h>
Public Member Functions | |
Expo (Node *n1, int num, Node *n2) | |
Expo (Node *n1, NumericalVar *num, Node *n2) | |
void | print (std::ostream &o) |
void | checkSoundnessAndCalcul () |
bool | containVar (int idvar) |
void | replace (int idvar, Node *n) |
Node * | buildOne (Node *sub=NULL) |
Node * | buildTwo (Node *sub=NULL) |
Node * | build (int num, Node *sub=NULL) |
Node * | duplicate () |
bool | isEqual (Node *n) |
Public Attributes | |
bool | free |
Node * | n1 |
Node * | n2 |
union { | |
int expNum | |
NumericalVar * var | |
}; |
Definition at line 206 of file parser.h.
Expo::Expo | ( | Node * | n1, | |
NumericalVar * | num, | |||
Node * | n2 | |||
) |
void Expo::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented from Node.
Definition at line 292 of file parser.cpp.
References expNum, free, n1, n2, NumericalVar::print(), Node::print(), and var.
Referenced by checkSoundnessAndCalcul().
void Expo::checkSoundnessAndCalcul | ( | ) | [virtual] |
Reimplemented from Node.
Definition at line 672 of file parser.cpp.
References Node::checkSoundnessAndCalcul(), Node::holePosition, n1, n2, Node::ndHole, Node::ndterms, print(), and Node::rhoterm.
bool Expo::containVar | ( | int | idvar | ) | [virtual] |
the search for a variable
Reimplemented from Node.
Definition at line 878 of file parser.cpp.
References Node::containVar(), n1, and n2.
void Expo::replace | ( | int | idvar, | |
Node * | n | |||
) | [virtual] |
repalce a variable by a generic node
Reimplemented from Node.
Definition at line 938 of file parser.cpp.
References Node::duplicate(), n1, n2, and Node::replace().
unfold one time the exp term
Definition at line 1055 of file parser.cpp.
References Node::duplicate(), Node::holePosition, n1, and n2.
Referenced by build(), buildTwo(), and Unification::tryApplyR2().
unfold two time the exp term
Definition at line 1047 of file parser.cpp.
References buildOne().
Definition at line 1291 of file parser.cpp.
References buildOne().
Node * Expo::duplicate | ( | ) | [virtual] |
duplicate the node
Implements Node.
Definition at line 1036 of file parser.cpp.
References NumericalVar::duplicate(), Node::duplicate(), expNum, Expo(), free, n1, n2, and var.
Referenced by Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
bool Expo::isEqual | ( | Node * | n | ) | [virtual] |
equality of structure
Reimplemented from Node.
Definition at line 1245 of file parser.cpp.
References expNum, free, NumericalVar::id, Node::isEqual(), n1, n2, and var.
bool Expo::free |
Definition at line 209 of file parser.h.
Referenced by duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), Expo(), isEqual(), print(), Unification::tryApplyR2(), and Unification::tryApplyR5().
Definition at line 210 of file parser.h.
Referenced by buildOne(), checkSoundnessAndCalcul(), containVar(), duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), isEqual(), print(), replace(), and Unification::tryApplyR2().
Definition at line 211 of file parser.h.
Referenced by buildOne(), checkSoundnessAndCalcul(), containVar(), duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), isEqual(), print(), and replace().
int Expo::expNum |
Definition at line 214 of file parser.h.
Referenced by duplicate(), Expo(), isEqual(), print(), Unification::tryApplyR2(), Unification::tryApplyR4(), and Unification::tryApplyR5().
Definition at line 215 of file parser.h.
Referenced by duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), Expo(), isEqual(), print(), Unification::tryApplyR2(), Unification::tryApplyR4(), and Unification::tryApplyR5().
union { ... } |