#include <parser.h>
Public Member Functions | |
void | checkSoundness () |
Parser (Configuration *config) | |
string | genNumericalValName () |
string | genContstantValName () |
Public Attributes | |
vector< FonctionTabElement > | fonctiontab |
vector< VariableTabElement > | variabletab |
vector < NumericalVariableTabElement > | numericalvariabletab |
Node * | result |
Configuration * | config |
Private Attributes | |
int | autoNumericalValCur |
int | autoContstantValCur |
Definition at line 285 of file parser.h.
Parser::Parser | ( | Configuration * | config | ) |
Parse input data and check soundness
Definition at line 20 of file parser.cpp.
References autoContstantValCur, autoNumericalValCur, checkSoundness(), Configuration::inputdatas, mycout, numLine, result, set_extParser(), set_result(), and yyparse().
void Parser::checkSoundness | ( | ) |
Definition at line 172 of file parser.cpp.
References Node::checkSoundnessAndCalcul(), Node::ndterms, and result.
Referenced by Parser(), and Unification::run().
string Parser::genNumericalValName | ( | ) |
generation of an intermediate name for numerical variable
Definition at line 145 of file parser.cpp.
References autoNumericalValCur, config, Configuration::LATEX, and Configuration::writeMode.
Referenced by Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
string Parser::genContstantValName | ( | ) |
generation of an intermediate name for variable
Definition at line 160 of file parser.cpp.
References autoContstantValCur, config, Configuration::LATEX, and Configuration::writeMode.
Referenced by Unification::tryApplyR5().
int Parser::autoNumericalValCur [private] |
int Parser::autoContstantValCur [private] |
Definition at line 290 of file parser.h.
Referenced by Function::checkSoundnessAndCalcul(), Function::Function(), Function::print(), Unification::run(), and Function::setName().
Definition at line 291 of file parser.h.
Referenced by Unification::checkDefinition(), SimpleSolution::display(), Solver::SolverSolution::display(), Solver::Graph::Graph(), Variable::print(), Unification::run(), and Variable::Variable().
Definition at line 292 of file parser.h.
Referenced by Unification::checkDefinition(), SimpleSolution::display(), NumericalVar::NumericalVar(), NumericalVar::print(), and Unification::run().
Definition at line 293 of file parser.h.
Referenced by Unification::ApplyR0(), Unification::checkDefinition(), checkSoundness(), Unification::debugDisplay(), Parser(), Unification::run(), Unification::SetDisjunctiveSystem(), Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
Definition at line 294 of file parser.h.
Referenced by genContstantValName(), and genNumericalValName().