8 #ifndef DP_FORMULAANALYSER_H 9 #define DP_FORMULAANALYSER_H 31 std::set<std::string> varNames;
33 std::vector<std::string> varDefinitions;
35 std::vector<std::string> srcList;
37 std::vector<formula> formulae;
40 std::vector<std::string> contents;
65 std::vector<int> &activeFormulae);
80 std::stack<formula> &formulaStack, std::vector<int> &activeFormulae,
int line,
81 int column, std::string &filename);
93 std::vector<int> *activeFormulae);
106 bool addNewFormula(std::stack<formula> &formulaStack, std::vector<int> &activeFormulae,
int &nextId,
124 void noteVar(std::string name);
136 std::vector<formula> getFormulae();
138 std::set<std::string> getVarNames();
140 unsigned getFormulaeCnt();
142 std::vector<std::string> getVarDefinitions();
144 std::vector<std::string> getFormulaeContents();
147 int getMaxChildCnt()
const;
149 std::vector<std::string> getSrcList();
153 #endif //DP_FORMULAANALYSER_H