 |
(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 monomials in the semiring T[[g]]. More...
#include <Tg.h>
Public Member Functions | |
| Tg () | |
| init as neutral opertor (d0.g0) | |
| Tg (int t, int n) | |
| init as dt.gn operator | |
| Tg (int t, unsigned vw, int tp, int n) | |
| init as dt.D_vw.dtp.gn operator | |
| Tg (int tl, unsigned v, unsigned w, int tr, int n) | |
| init as dtl.V_v.W_w.dtr.gn operator | |
| Tg (const T_op &w, int g) | |
| init as w.gn operator where w is a T-operator | |
| T_op | getT_op () const |
| returns w, the T-operator of the current term | |
| void | setT_op (const T_op &) |
| sets the T-operator | |
| int | getG () const |
| returns the exponent n of the current term w.gn | |
| void | setG (int n) |
| sets the exponent n of w.gn | |
| void | getGain (unsigned int &vee, unsigned int &wedge) const |
| gives the gain vee/wedge of the T-operator w of w.d^t | |
| Tg | operator* (const Tg &) const |
| returns the product of two Tg terms | |
| Tg | otimes (const Tg &) const |
| returns the product of two Tg terms | |
| polyTg | operator* (const polyTg &) const |
| returns the product of the current Tg term by a polyTg polynomial | |
| polyTg | otimes (const polyTg &) const |
| returns the product of the current Tg term by a polyTg polynomial | |
| seriesTg | operator* (const seriesTg &) const |
| seriesTg | otimes (const seriesTg &) const |
| polyTg | oplus (const Tg &) const |
| returns the sum of the current Tg term with Tg term. It is a polynomial | |
| polyTg | operator+ (const Tg &) const |
| returns the sum of the current Tg term with Tg term. It is a polynomial | |
| polyTg | oplus (const polyTg &) const |
| returns the sum of the current Tg term with a polyTg polynomial | |
| polyTg | operator+ (const polyTg &) const |
| returns the sum of the current Tg term with a polyTg polynomial | |
| Tg | inf (const Tg &) const |
| returns the infimum of two Tg terms | |
| Tg | lfrac (const Tg &) const |
| Tg | rfrac (const Tg &) const |
| std::string | toString () const |
| returns a string which describes the current Tg term | |
| std::string | toStringAsDeltaVar () const |
| returns a string which describes the current Tg term as a variable delta operator | |
| void | canon () |
| puts the current term into a canonical form | |
| bool | operator== (const Tg &) const |
| checks terms equality | |
| bool | operator!= (const Tg &) const |
| bool | operator<= (const Tg &) const |
| bool | operator>= (const Tg &) const |
| void | toPov (graphicPR::PovRay &pov, graphicPR::PovRay::Color c, Tg *prec, Tg *next) |
| used to create PovRay graphical output | |
Static Public Member Functions | |
| static Tg | E () |
| neutral operator as Tg element (d0.g0) | |
| static Tg | g (int n) |
| basic gamma operator as Tg element: Tg::g(n)= d0.gn | |
| static Tg | D (unsigned vw) |
| basic Delta_vw operator as Tg element: Tg::D(vw)= D_vw.g0 | |
| static Tg | d (int t) |
| basic delta operator as Tg element: Tg::d(t)= dt.g0 | |
| static Tg | V (unsigned int v) |
| basic Vee (time multiplier) operator as Tg element: Tg::V(v)= V_v.g0 | |
| static Tg | W (unsigned int w) |
| basic Wedge (time divisor) operator as Tg element: Tg::W(w)= W_w.g0 | |
Class for monomials in the semiring T[[g]].
No epsilon, no top element
1.8.14