Parser Class Reference

#include <parser.h>

Collaboration diagram for Parser:

Collaboration graph
[legend]

List of all members.

Public Member Functions

void checkSoundness ()
 Parser (Configuration *config)
string genNumericalValName ()
string genContstantValName ()

Public Attributes

vector< FonctionTabElementfonctiontab
vector< VariableTabElementvariabletab
vector
< NumericalVariableTabElement
numericalvariabletab
Noderesult
Configurationconfig

Private Attributes

int autoNumericalValCur
int autoContstantValCur


Detailed Description

Definition at line 285 of file parser.h.


Constructor & Destructor Documentation

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().

Here is the call graph for this function:


Member Function Documentation

void Parser::checkSoundness (  ) 

Definition at line 172 of file parser.cpp.

References Node::checkSoundnessAndCalcul(), Node::ndterms, and result.

Referenced by Parser(), and Unification::run().

Here is the call graph for this function:

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().


Member Data Documentation

Definition at line 287 of file parser.h.

Referenced by genNumericalValName(), and Parser().

Definition at line 288 of file parser.h.

Referenced by genContstantValName(), and Parser().

Definition at line 294 of file parser.h.

Referenced by genContstantValName(), and genNumericalValName().


The documentation for this class was generated from the following files:

Generated on Thu Jun 19 19:14:34 2008 for unification by  doxygen 1.5.6