 |
(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::gd from MinMaxGD library. More...
#include <gdWrapper.h>
Public Member Functions | |
| gd () | |
| default constructor : set to g^0d^0 | |
| gd (long g, long d) | |
| constructor : set to g^g.d^d | |
| gd (const gd &m) | |
| copy constructor | |
| gd (const mmgd::gd &m) | |
| construcor : set a etvoII::gd from a mmgd::gd | |
| gd & | operator= (const gd &m) |
| operator=: assignation | |
| gd | operator* (const gd &m) const |
| operator*: product of monomials g^n1d^t1.g^n2d^t2=g^(n1+n2)d^(t1+t2) | |
| long | getg () const |
| returns n in g^nd^t | |
| long | getd () const |
| returns t in g^nd^t | |
| bool | isE () const |
| check if is equal to g^0d^0 | |
| bool | isDegenerate () const |
| check if n or t are infinite | |
| bool | operator!= (const gd &m) const |
| bool | operator== (const gd &) const |
| bool | operator>= (const gd &) const |
| bool | operator<= (const gd &) const |
| gd | inf (const gd &m) const |
| inf: infimum of monomials inf(g^n1d^t1,g^n2d^t2)=g^max(n1,n2)d^min(t1,t2) | |
| gd | frac (const gd &m) const |
| frac : g^n1d^t1/g^n2d^t2 = g^(n1-n2)d^(t1-t2) | |
| poly | operator+ (const gd &m) const |
| g^n1d^t1 + g^n2d^t2 is a polynomial etvoII::poly | |
| poly | operator+ (const poly &p) const |
| g^n1d^t1 + (g^n2d^t2 + ... + g^nKd^tK) is a polynomial | |
| poly | operator* (const poly &p) const |
| g^n1d^t1 * (g^n2d^t2 + ... + g^nKd^tK) is a polynomial | |
| std::string | ToString () const |
| returns a string giving the description of a monomial with the format "g2.d3" | |
 Public Member Functions inherited from mmgd::gd | |
| gd (const gd &) | |
| gd (long, long) | |
| gd & | operator= (const gd &) |
| int | operator!= (const gd &) |
| int | operator== (const gd &) |
| int | operator>= (const gd &) |
| int | operator<= (const gd &) |
| bool | operator< (const gd &) const |
| gd & | init (long, long) |
| gd & | operator() (long, long) |
| long | getg (void) |
| long | getd (void) |
Static Public Member Functions | |
| static gd | E () |
| gives the neutral element e=g^0.d^0 | |
Additional Inherited Members | |
| Protected Member Functions inherited from mmgd::gd | |
| void | affecte (long, long) |
| Protected Attributes inherited from mmgd::gd | |
| long | g |
| long | d |
Wrapper class to mmgd::gd from MinMaxGD library.
Class for monomials g^n.d^t with finite exponents [n,t finite] In normal cases, no epsilon and no Top elements. But to keep compatible with MinMaxGD, degenerate monomials can be obtained.
1.8.14