(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
Static Public Member Functions | List of all members
etvo::parser Class Reference

Class methods to parse strings describing formal series. More...

#include <parser.h>

Static Public Member Functions

static poly parsePoly (const std::string &str)
 
static polyEd parsePolyEd (const std::string &s)
 
static polyTg parsePolyTg (const std::string &s)
 
static seriesEd parseSeriesEd (const std::string &s)
 
static seriesTg parseSeriesTg (const std::string &s)
 
static void runCalculatorEtvo ()
 

Detailed Description

Class methods to parse strings describing formal series.

Author
BC LH JT LARIS
Version
2.0

Member Function Documentation

◆ parsePoly()

etvo::poly etvo::parser::parsePoly ( const std::string &  str)
static

parser for MinMaxGD polynomials. A syntax error throws an exception. s="(g1.d2+g3.d4+g5.d7).(g2.d4+g1.d2)"

◆ parsePolyEd()

polyEd etvo::parser::parsePolyEd ( const std::string &  s)
static

parser for balanced E[[d]] polynomials. A syntax error throws an exception. A polynomial must be balanced, all terms must have the same gain s="(g1.m2.b2.d2+g3.d4+g5.m3.b3.g2.d7).(m3.b2.g1.d2)"

◆ parsePolyTg()

polyTg etvo::parser::parsePolyTg ( const std::string &  s)
static

parser for balanced T[[g]] polynomials. A syntax error throws an exception.
A polynomial must be balanced, all terms must have the same gain s="(d1.v2.w2.g2+d4.g3+d7.v3.w3.d1.g5).(v2.w3.g2+d4.v2.w3.g3)"

◆ parseSeriesEd()

seriesEd etvo::parser::parseSeriesEd ( const std::string &  s)
static

parser for balanced series in E[[d]]. A syntax error throws an exception. s="g1.d2 + [g2.m3.b3.g1.d3 + g4.d4]*"

◆ parseSeriesTg()

seriesTg etvo::parser::parseSeriesTg ( const std::string &  s)
static

parser for balanced series in T[[g]]. A syntax error throws an exception. s="g1.d2 + [d2.v3.w3.d1.g3 + d4.g4]*"

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