#include <parser.h>
Public Member Functions | |
NumericalVar (const char *name, Parser *parser, bool automatic=true) | |
void | print (std::ostream &o) |
NumericalVar * | duplicate () |
bool | isEqual (Node *n) |
Public Attributes | |
int | id |
Private Attributes | |
Parser * | parser |
Definition at line 58 of file parser.h.
NumericalVar::NumericalVar | ( | const char * | name, | |
Parser * | parser, | |||
bool | automatic = true | |||
) |
Definition at line 359 of file parser.cpp.
References Parser::numericalvariabletab.
Referenced by duplicate().
void NumericalVar::print | ( | std::ostream & | o | ) |
Definition at line 254 of file parser.cpp.
References id, Parser::numericalvariabletab, and parser.
Referenced by Expo::print(), CondN::print(), CondNplusN::print(), CondANplusB::print(), and CondA::print().
NumericalVar * NumericalVar::duplicate | ( | ) |
Definition at line 965 of file parser.cpp.
References NumericalVar().
Referenced by Expo::duplicate(), CondN::duplicate(), CondNplusN::duplicate(), CondA::duplicate(), CondANplusB::duplicate(), Unification::tryApplyR2(), and Unification::tryApplyR5().
bool NumericalVar::isEqual | ( | Node * | n | ) |
Definition at line 1154 of file parser.cpp.
Parser* NumericalVar::parser [private] |
int NumericalVar::id |
Definition at line 62 of file parser.h.
Referenced by Automata::Automata(), Solver::Graph::explo(), Unification::exploDefinition(), Expo::isEqual(), print(), and Unification::verifValidPresburger().