(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
Public Member Functions | |
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 &) |
Friends | |
std::ostream & | operator<< (std::ostream &flot, serie &serie1) |
std::fstream & | operator<< (std::fstream &flot, serie &serie1) |
serie | oplus (serie &, serie &) |
serie | oplus (poly &, serie &) |
serie | oplus (serie &, poly &) |
serie | oplus (gd &, serie &) |
serie | oplus (serie &, gd &) |
serie | otimes (serie &, serie &) |
serie | otimes (poly &pol1, serie &s2) |
serie | otimes (serie &s2, poly &pol1) |
serie | otimes (gd &gd1, serie &s2) |
serie | otimes (serie &s2, gd &gd1) |
serie | star (poly poly1) |
serie | star (gd &r1) |
serie | star (serie &s1) |
serie | inf (serie &s1, serie &s2) |
serie | inf (serie &s1, poly &p2) |
serie | inf (poly &p1, serie &s2) |
serie | inf (gd &, serie &) |
serie | inf (serie &, gd &) |
serie | frac (serie &s1, serie &s2) |
serie | frac (serie &s1, gd &gd2) |
serie | frac (serie &s1, poly &poly1) |
serie | odot (serie &, serie &) |
serie | odot (serie &s1, poly &p2) |
serie | odot (poly &p1, serie &s2) |
serie | fracodotsharp (serie &, serie &) |
serie | fracodotflat (serie &, serie &) |
serie | Dualfrac (serie &s1, gd &gd2) |
serie | prcaus (serie &) |
Below a trick to avoid to compute the star of a polynom which is already a star 08/04/2019 Angers
End of the added trick 08/04/2019 Angers
on traite toutes les etoiles dont la pente est inferieure a la pente retenue ci dessus
Below a trick added to avoid the computation of (s1)* if s1 is already a star Angers 08/04/2019
End of the trick Angers 08/04/2019