(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
parser.h
1 #ifndef PARSER_H
2 #define PARSER_H
3 
4 #include "../etvo/seriesTg/seriesTg.h"
5 #include "../etvo/seriesEd/seriesEd.h"
6 #include "../etvo/seriesET/seriesET.h"
7 
8 //#include "../etvo/wrapperMMGD/polyWrapper.h"
9 
10 
20 #include<string>
21 namespace etvo{
22 class parser
23 {
24  public:
27  static poly parsePoly(const std::string & str);
31  static polyEd parsePolyEd(const std::string & s);
35  static polyTg parsePolyTg(const std::string & s);
38  static seriesEd parseSeriesEd(const std::string & s);
41  static seriesTg parseSeriesTg(const std::string & s);
42  static void runCalculatorEtvo();
43 };
44 
45 }
46 
47 #endif // PARSER_H
static polyTg parsePolyTg(const std::string &s)
Definition: parser.cpp:308
static seriesEd parseSeriesEd(const std::string &s)
Definition: parserSeriesEd.cpp:138
Class for polynomials in the semiring E[[d]].
Definition: polyEd.h:31
Class for ultimately-periodic series in the semiring T[[g]].
Definition: seriesTg.h:25
Definition: etvoException.cpp:5
static polyEd parsePolyEd(const std::string &s)
Definition: parser.cpp:284
Class for ultimately-periodic series in the semiring E[[d]]. In a general way, the series are describ...
Definition: seriesEd.h:40
static seriesTg parseSeriesTg(const std::string &s)
Definition: parserSeriesTg.cpp:115
Wrapper class to mmgd::poly from from MinMaxGD library.
Definition: polyWrapper.h:34
static poly parsePoly(const std::string &str)
Definition: parser.cpp:333
Class methods to parse strings describing formal series.
Definition: parser.h:22
Class for polynomials in the semiring T[[g]].
Definition: polyTg.h:23