 |
(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
|
| ▼NcalculatorEtvo | |
| Ccalculator | |
| ▼Netvo | |
| CdDd | Terms like d^tl.V_m.d^tc.W_b.d^tr |
| CE_op | Class to describe E-operators which are coefficients of terms in E[[d]]. One E_op element is defined by a Counter-to-counter (Fminp) function |
| CEd | Class for monomials in the semiring E[[d]] |
| CetvoException | Class to describe exceptions in etvo |
| CFactory | |
| CFactoryFper | |
| CFactoryPoly | |
| CFactoryPolyEd | |
| CFactoryPolyTg | |
| CFactorySeries | Class for series generators |
| CFactorySeriesEd | |
| CFactorySeriesTg | |
| CFmaxp | Class for pseudo - periodic functions with oplus=max and otimes=composition |
| CFminp | Class for pseudo - periodic functions with oplus=min and otimes=composition |
| CFper | Base class for pseudo - periodic functions Z->Z where f(x + dP) = codP + f(x) |
| Cgd | Wrapper class to mmgd::gd from MinMaxGD library |
| CgNg | Class to describe terms in E[[d]] written g^n.Nabla_(m|b).g^n' = g^nl.M_m.B_b.g^nr |
| CgNgdDd | |
| CISterm | Abstract base class to handle Idempotent Semiring terms |
| Cmatrix | |
| Cmatrix< T > | Template class to create matrix of semiring elements (series,seriesEd ...) |
| Cparser | Class methods to parse strings describing formal series |
| Cpoly | Wrapper class to mmgd::poly from from MinMaxGD library |
| CpolyEd | Class for polynomials in the semiring E[[d]] |
| CpolyTg | Class for polynomials in the semiring T[[g]] |
| CrandGen | |
| Cseries | Wrapper class to mmgd::serie from MinMaxGD library |
| CseriesEd | Class for ultimately-periodic series in the semiring E[[d]]. In a general way, the series are described by two standard (canonical) forms s=p+q.r*=p'+r'*.q' where p,p',q,q' are polynomials in E[[d]] and r/r' are etvo::gd terms (in MinMax[[g,d]]) |
| CseriesET | Class for ultimately-periodic series in the semiring ET |
| CseriesTg | Class for ultimately-periodic series in the semiring T[[g]] |
| CT_op | Class to describe T-operators which are coefficients of terms in T[[g]] |
| CTg | Class for monomials in the semiring T[[g]] |
| CTools | |
| ▼NgraphicPR | |
| ▼CPovRay | Used to generate POV-Ray scripts to draw 3D descriptions of polyEd and polyTg objects |
| CColor | Script description of a color in POV-Ray |
| CPoint | Script description of a point in POV-Ray |
| ▼Nmmgd | |
| ▼Nmmgd | |
| Cgd | |
| Cmem_limite | |
| Cpoly | |
| Cserie | |
| Ctaille_incorrecte | |
| Cgd | |
| CmatrixCOO | |
| CmatrixMap | |
| Cmem_limite | |
| Cpoly | |
| Cserie | |
| Csmatrix | |
| Ctaille_incorrecte | |
| CTpenteIndex | Essai 2013 june, is it possible to reduce complexity by permuting row of A ? the test leads to an ambiguoys answer |
| CTtriplet | |
| ▼Nparseped | |
| Ccalculator | |
| ▼NparsepolyIII | |
| Ccalculator | |
| ▼Nparseptg | |
| Ccalculator | |
| ▼Nparseseriesed | |
| Ccalculator | |
| ▼Nparseseriestg | |
| Ccalculator | |
| ▼Ntest | |
| ▼CTest | |
| CTestPolyEd | |
| CTestPolyTg | |
| CTestSeriesEd | |
| CTestSeriesTg | |
| CtestException | |
| CTestIS | |
| CTestKleene | |
| CTestResiduation | |
| CTestResiduationIneq | |
| CTestXIS | |
| Cglobal |
1.8.14