 |
(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
|
(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
Wrapper class to mmgd::serie from MinMaxGD library. More...
#include <seriesWrapper.h>
Public Member Functions | |
| bool | isE () const |
| bool | isPoly () const |
| bool | isDegenerate () const |
| series () | |
| default constructor : epsilon series p=eps q=eps r=g0.d0 | |
| series (const gd &) | |
| constructor : set a series from only one monomial (uses the next constructor) | |
| series (const poly &) | |
| constructor : set a series from a polynomial | |
| series (const mmgd::serie &s) | |
| constructor : set a etvoII::series from a mmgg::serie | |
| series (const poly &p, const poly &q, const gd &r) | |
| constructor : set a etvoII::series from p+q.r* representation | |
| poly | getP () const |
| gives polynomial p (as etvoII::poly) | |
| poly | getQ () const |
| gives polynomial q (as etvoII::poly) | |
| gd | getR () const |
| gives monomial r (as etvoII::gd) | |
| bool | operator!= (const series &s) const |
| bool | operator== (const series &s) const |
| bool | operator<= (const series &s) const |
| bool | operator>= (const series &s) const |
| series | operator+ (const series &s) const |
| computes the sum of two series in MinMax[[g,d]] | |
| series | operator* (const series &s) const |
| computes the product of two series in MinMax[[g,d]] | |
| series | inf (const series &s) const |
| computes the infimum of two series in MinMax[[g,d]] | |
| series | star () const |
| computes the Kleene star of a series in MinMax[[g,d]] | |
| series | lfrac (const series &s) const |
| equiv. frac because the product is commutative | |
| series | rfrac (const series &s) const |
| equiv. frac because the product is commutative | |
| series | frac (const series &s) const |
| s1.frac(s2) is the greatest series x s.t. s2.x <= s1 | |
| series | frac (const gd &m) const |
| s1.frac(g2.dt) is the greatest series x s.t. gn.dt.x <= s1 | |
| series | frac (const poly &p) const |
| s1.frac(p) is the greatest series x s.t. p.x <= s1 | |
| series | prcaus () const |
| gives the causal projection of the current series. | |
| std::string | ToString () const |
| gives a string giving the description of a series in a format g1.d2+g2.d3+(g4.d5+g6.d7).[g3.d3]* | |
 Public Member Functions inherited from mmgd::serie | |
| serie (const serie &) | |
| serie (const poly &p1, const poly &q1, gd &r1) | |
| serie (poly &p) | |
| serie (gd &gd1) | |
| serie (unsigned int np1, unsigned int nq1, gd *p1, gd *q1, gd &r1) | |
| poly & | getp (void) |
| poly & | getq (void) |
| gd & | getr (void) |
| serie & | operator= (const serie &serie1) |
| serie & | operator= (const gd &gd1) |
| serie & | operator= (const poly &p1) |
| void | init (poly &p1, poly &q1, gd &r1) |
| void | init (unsigned int, unsigned int, gd *, gd *, gd &) |
| void | init (gd &pgd1, gd &qgd1, gd &r1) |
| void | init (poly &p1, gd &qgd1, gd &r1) |
| void | init (gd &pgd1, poly &q1, gd &r1) |
| void | canon () |
| int | operator== (serie &) |
| Public Member Functions inherited from etvo::ISterm | |
| ISterm (bool isEpsilon=false) | |
| default constructor : an epsilon term | |
| ISterm (int epsNTop) | |
| constructor to specify the type of ISterm | |
| bool | isEpsilon () const |
| bool | isTop () const |
| bool | isExtreme () const |
| void | setEpsilon () |
| void | setTop () |
| bool | operator== (const ISterm &) const |
Static Public Member Functions | |
| static series | Epsilon () |
| gives the epsilon series | |
| static series | E () |
| gives the series e=g0.d0 | |
| static series | Top () |
| gives the top series T | |
Additional Inherited Members | |
| Protected Attributes inherited from etvo::ISterm | |
| char | _epsNTop |
| _epsNTop = -1 epsilon 0 not extrem (normal) +1 Top | |
Wrapper class to mmgd::serie from MinMaxGD library.
Class for ultimately periodic series s=p + q [g^n.d^t]* in MinMax[[g,d]], where p and q are polynomials
An epsilon and a top series exists
1.8.14