(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
compgd :
mmgd::mmgd::poly
,
mmgd::poly
etb :
etvo::seriesET
etd :
etvo::seriesET
etg :
etvo::seriesET
etm :
etvo::seriesET
etv :
etvo::seriesET
etw :
etvo::seriesET
inf :
mmgd::serie
lfrac :
mmgd::matrixMap
mycompgd :
mmgd::poly
otimes :
mmgd::matrixMap
permutation :
mmgd::smatrix
rfrac :
mmgd::matrixMap
star :
mmgd::serie
Generated by
1.8.14