Spectra
formulaAnalyser Member List

This is the complete list of members for formulaAnalyser, including all inherited members.

addNewFormula(std::stack< formula > &formulaStack, std::vector< int > &activeFormulae, int &nextId, formula *&currentFormula)formulaAnalyser
decodeType(const std::string &op)formulaAnalyser
finalizeCurrentFormula(formula *currentFormula, std::stack< formula > *formulaStack, std::vector< int > *activeFormulae)formulaAnalyser
finalizeFormulaeParsing(formula *currentFormula, std::stack< formula > &formulaStack, std::vector< int > &activeFormulae)formulaAnalyser
generateAtom(std::string &word, int &nextId, formula *&currentFormula, std::stack< formula > &formulaStack, std::vector< int > &activeFormulae, int line, int column, std::string &filename)formulaAnalyser
getFormulae() (defined in formulaAnalyser)formulaAnalyser
getFormulaeCnt() (defined in formulaAnalyser)formulaAnalyser
getFormulaeContents() (defined in formulaAnalyser)formulaAnalyser
getIndexOfVarName(std::string name)formulaAnalyser
getMaxChildCnt() const (defined in formulaAnalyser)formulaAnalyser
getSrcList() (defined in formulaAnalyser)formulaAnalyser
getVarDefinitions() (defined in formulaAnalyser)formulaAnalyser
getVarNames() (defined in formulaAnalyser)formulaAnalyser
noteVar(std::string name)formulaAnalyser
parseFormula(std::string filename)formulaAnalyser