(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
CgraphicPR::PovRay::Color | Script description of a color in POV-Ray |
Cetvo::dDd | Terms like d^tl.V_m.d^tc.W_b.d^tr |
Cetvo::E_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 |
Cetvo::Ed | Class for monomials in the semiring E[[d]] |
▼Cexception | |
Cetvo::etvoException | Class to describe exceptions in etvo |
Ctest::testException | |
Cetvo::Factory< T > | |
▼Cetvo::Factory< etvo::poly > | |
Cetvo::FactoryPoly | |
▼Cetvo::Factory< etvo::series > | |
Cetvo::FactorySeries | Class for series generators |
▼Cetvo::Factory< Fper > | |
Cetvo::FactoryFper | |
▼Cetvo::Factory< polyEd > | |
Cetvo::FactoryPolyEd | |
▼Cetvo::Factory< polyTg > | |
Cetvo::FactoryPolyTg | |
▼Cetvo::Factory< seriesEd > | |
Cetvo::FactorySeriesEd | |
▼Cetvo::Factory< seriesTg > | |
Cetvo::FactorySeriesTg | |
▼Cetvo::Fper | Base class for pseudo - periodic functions Z->Z where f(x + dP) = codP + f(x) |
Cetvo::Fmaxp | Class for pseudo - periodic functions with oplus=max and otimes=composition |
Cetvo::Fminp | Class for pseudo - periodic functions with oplus=min and otimes=composition |
▼Cmmgd::gd | |
Cetvo::gd | Wrapper class to mmgd::gd from MinMaxGD library |
Cmmgd::mmgd::gd | |
Cglobal | |
Cetvo::gNg | Class to describe terms in E[[d]] written g^n.Nabla_(m|b).g^n' = g^nl.M_m.B_b.g^nr |
Cetvo::gNgdDd | |
▼Cgrammar | |
CcalculatorEtvo::calculator< Iterator > | |
CcalculatorEtvo::calculator< Iterator > | |
CcalculatorEtvo::calculator< Iterator > | |
CcalculatorEtvo::calculator< Iterator > | |
CcalculatorEtvo::calculator< Iterator > | |
Cparseped::calculator< Iterator > | |
CparsepolyIII::calculator< Iterator > | |
Cparseptg::calculator< Iterator > | |
Cparseseriesed::calculator< Iterator > | |
Cparseseriestg::calculator< Iterator > | |
▼Cetvo::ISterm | Abstract base class to handle Idempotent Semiring terms |
Cetvo::poly | Wrapper class to mmgd::poly from from MinMaxGD library |
Cetvo::polyEd | Class for polynomials in the semiring E[[d]] |
Cetvo::polyTg | Class for polynomials in the semiring T[[g]] |
Cetvo::series | Wrapper class to mmgd::serie from MinMaxGD library |
Cetvo::seriesEd | 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]]) |
Cetvo::seriesET | Class for ultimately-periodic series in the semiring ET |
Cetvo::seriesTg | Class for ultimately-periodic series in the semiring T[[g]] |
Cetvo::matrix< T > | |
Cetvo::matrix< etvo::dDd > | |
Cetvo::matrix< etvo::gNg > | |
Cetvo::matrix< etvo::seriesEd > | |
Cetvo::matrix< etvo::seriesTg > | |
Cetvo::matrix< T > | Template class to create matrix of semiring elements (series,seriesEd ...) |
Cmmgd::matrixCOO | |
Cmmgd::matrixMap | |
Cmmgd::mmgd::mem_limite | |
Cmmgd::mem_limite | |
Cetvo::parser | Class methods to parse strings describing formal series |
CgraphicPR::PovRay::Point | Script description of a point in POV-Ray |
▼Cmmgd::poly | |
Cetvo::poly | Wrapper class to mmgd::poly from from MinMaxGD library |
Cmmgd::mmgd::poly | |
CgraphicPR::PovRay | Used to generate POV-Ray scripts to draw 3D descriptions of polyEd and polyTg objects |
Cetvo::randGen | |
▼Cmmgd::serie | |
Cetvo::series | Wrapper class to mmgd::serie from MinMaxGD library |
Cmmgd::mmgd::serie | |
Cmmgd::smatrix | |
Cetvo::T_op | Class to describe T-operators which are coefficients of terms in T[[g]] |
Cmmgd::taille_incorrecte | |
Cmmgd::mmgd::taille_incorrecte | |
Ctest::Test | |
Ctest::TestIS< T > | |
Ctest::TestKleene< T > | |
Ctest::Test::TestPolyEd | |
Ctest::Test::TestPolyTg | |
Ctest::TestResiduation< T > | |
Ctest::TestResiduationIneq< T > | |
Ctest::Test::TestSeriesEd | |
Ctest::Test::TestSeriesTg | |
Ctest::TestXIS< T > | |
Cetvo::Tg | Class for monomials in the semiring T[[g]] |
Cetvo::Tools | |
Cmmgd::TpenteIndex | Essai 2013 june, is it possible to reduce complexity by permuting row of A ? the test leads to an ambiguoys answer |
Cmmgd::Ttriplet |