 |
(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
|
Class for ultimately-periodic series in the semiring ET. More...
#include <seriesET.h>
Public Member Functions | |
| seriesET () | |
| Default initialization : epsilon. | |
| seriesET (bool TopNotE) | |
| Initialization as Top (true) OR E(false) | |
| seriesET (const seriesEd &s) | |
| Initialization of a seriesET from seriesEd. | |
| seriesET (const seriesTg &s) | |
| Initialization of a seriesET from seriesTg. | |
| matrix< dDd > | getLed () const |
| getter returning Led | |
| matrix< dDd > | getRed () const |
| getter returning Red | |
| matrix< seriesEd > | getQed () const |
| getter returning Qed | |
| matrix< gNg > | getLtg () const |
| getter returning Ltg | |
| matrix< gNg > | getRtg () const |
| getter returning Rtg | |
| matrix< seriesTg > | getQtg () const |
| getter returning Qtg | |
| bool | isCoreEd () const |
| check if the current series is in Qed form (Q in E[[d]]) | |
| bool | isCoreTg () const |
| check if the current series is in Qtg form (Q in T[[g]]) | |
| void | getLcmGainEd (unsigned int &mu, unsigned int &beta) const |
| returns the Least Common multiple of gains in the terms of the current series | |
| void | getLcmGainTg (unsigned int &v, unsigned int &w) const |
| returns the Least Common multiple of gains in the terms of the current series | |
| void | getLcmQSlope (int &g, int &d) const |
| returns the Least Common multiple of ultimate slopes (g^n d^t)* of Q terms | |
| void | toCoreEd () |
| to a form where the Core is in E[[d]] | |
| void | toCoreTg () |
| to a form where the Core is in T[[g]] | |
| void | extendBy (unsigned mul) |
| seriesET | oplus (const seriesET &s) const |
| oplus sum of seriesET | |
| seriesET | otimes (const seriesET &s) const |
| otimes product of seriesET | |
| seriesET | star () const |
| Kleene star of seriesET. | |
| seriesET | inf (const seriesET &s) const |
| infimum of seriesET | |
| seriesET | lfrac (const seriesET &s) const |
| left residual | |
| seriesET | rfrac (const seriesET &s) const |
| right residual | |
| seriesET | operator+ (const seriesET &s) const |
| sum of series in ET : s1+s2 | |
| seriesET | operator* (const seriesET &s) const |
| product of series in ET : s1*s2 | |
| void | changeForm () |
| CoreEd <-> CoreTg. | |
| bool | isPolynomial () const |
| check if it is a polynomial | |
| bool | isE () const |
| check if it is a neutral seriesET | |
| void | canon () |
| leads to the canonical form | |
| void | toRight () |
| to Right form (all core series in right form) | |
| void | toLeft () |
| to Left form (all core series in left form) | |
| void | toLVectorEd (matrix< seriesEd > &LV, matrix< dDd > &R) const |
| void | toRVectorEd (matrix< seriesEd > &RV, matrix< dDd > &L) const |
| void | toLVectorTg (matrix< seriesTg > &LV, matrix< gNg > &R) const |
| void | toRVectorTg (matrix< seriesTg > &RV, matrix< gNg > &L) const |
| std::string | toString (unsigned f=0) const |
| returns the string description of a series in ET. | |
 Public Member Functions inherited from etvo::ISterm | |
| ISterm (bool isEpsilon=false) | |
| default constructor : an epsilon term | |
| ISterm (int epsNTop) | |
| constructor to specify the type of ISterm | |
| bool | isEpsilon () const |
| bool | isTop () const |
| bool | isExtreme () const |
| void | setEpsilon () |
| void | setTop () |
| bool | operator== (const ISterm &) const |
Static Public Member Functions | |
| static seriesTg | scale (const seriesTg &s, unsigned mul) |
| static seriesEd | scale (const seriesEd &s, unsigned mul) |
| static seriesET | Epsilon () |
| The epsilon description of seriesET. | |
| static seriesET | Top () |
| The Top description of seriesET. | |
| static seriesET | E () |
| The description of g0.d0 as seriesET. | |
| static etvo::matrix< seriesEd > | getMatNed (unsigned size) |
| static etvo::matrix< seriesTg > | getMatNtg (unsigned size) |
| static seriesET | toCausal (const seriesET &s) |
Friends | |
| seriesET | etg (int n, bool QedForm) |
| element g^n in ET | |
| seriesET | etd (int t, bool QedForm) |
| element d^t in ET | |
| seriesET | etm (unsigned m, bool QedForm) |
| element mu_m in ET (Event multiplier) | |
| seriesET | etb (unsigned b, bool QedForm) |
| element beta_b in ET (EVent divider) | |
| seriesET | etm (const std::vector< unsigned > &seq) |
| seriesET | etb (const std::vector< unsigned > &seq) |
| seriesET | etd (const std::vector< int > &seqDelays) |
| seriesET | etv (unsigned v, bool QedForm) |
| element vee_v in ET (Time multiplier) | |
| seriesET | etw (unsigned w, bool QedForm) |
| element wedge_w in ET (Time divider) | |
Additional Inherited Members | |
| Protected Attributes inherited from etvo::ISterm | |
| char | _epsNTop |
| _epsNTop = -1 epsilon 0 not extrem (normal) +1 Top | |
Class for ultimately-periodic series in the semiring ET.
1.8.14