#include <parser.h>
Public Member Functions | |
Variable (const char *name, Parser *parser) | |
void | print (std::ostream &o) |
void | checkSoundnessAndCalcul () |
bool | containVar (int idvar) |
Node * | duplicate () |
bool | isEqual (Node *n) |
Public Attributes | |
int | id |
Private Attributes | |
Parser * | parser |
Definition at line 69 of file parser.h.
Variable::Variable | ( | const char * | name, | |
Parser * | parser | |||
) |
Definition at line 480 of file parser.cpp.
References Parser::variabletab.
Referenced by duplicate().
void Variable::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented from Node.
Definition at line 231 of file parser.cpp.
References id, parser, and Parser::variabletab.
void Variable::checkSoundnessAndCalcul | ( | ) | [virtual] |
Reimplemented from Node.
Definition at line 648 of file parser.cpp.
References Node::ndHole, Node::ndterms, and Node::rhoterm.
bool Variable::containVar | ( | int | idvar | ) | [virtual] |
Node * Variable::duplicate | ( | ) | [virtual] |
duplicate the node
Implements Node.
Definition at line 990 of file parser.cpp.
References Variable().
bool Variable::isEqual | ( | Node * | n | ) | [virtual] |
Parser* Variable::parser [private] |
int Variable::id |
Definition at line 73 of file parser.h.
Referenced by Solver::Graph::explo(), Unification::exploDefinition(), print(), and Unification::tryApplyR1().