 |
(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 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. More...
#include <E_op.h>
Public Member Functions | |
| E_op () | |
| default initialization is the neutral E-operator More... | |
| E_op (const gNg &term) | |
| Initialization with a gNg term (...gamma_nr) | |
| void | add (const gNg &term) |
| Add a gNg term to the current E-operator. | |
| void | add (const E_op &op) |
| Add an E-operator to the current E-operator. | |
| std::pair< unsigned, unsigned > | getPeriodicity () const |
| Returns the periodicity of the Fw Counter-to-Counter function (B,M) | |
| std::vector< gNg > | getTerms () const |
| Returns the set of gNg terms for the current E-operator. | |
| unsigned | getM () const |
| Returns the M value in the (B,M) periodicity. | |
| unsigned | getB () const |
| Returns the B value in the (B,M) periodicity. | |
| E_op | extendBy (unsigned mul) const |
| Extend the E-operator in a non canonical form. | |
| void | reduce () |
| Reduce to the canonical form. | |
| std::string | toString () const |
| Returns a string which describes the E-operator. | |
| std::string | toStringAsMuVar () const |
| Returns a string which describes the E-operator with a <seq> description. | |
| int | Fw (int ki) const |
| Gives the evaluation of the underlying Fw (Counter-to-counter function) | |
| Fminp | getFw () const |
| Returns the Fminp Counter-to-counter function. | |
| void | setFromFw (const Fminp &) |
| Defines the current E-operator from a counter-to-counter function. | |
| E_op | operator+ (const E_op &f) const |
| Sum of E_op elements. | |
| E_op | oplus (const E_op &f) const |
| Sum of E_op elements. | |
| E_op | operator* (const E_op &f) const |
| Product of E_op elements. | |
| E_op | otimes (const E_op &f) const |
| Product of E_op elements. | |
| E_op | inf (const E_op &f) const |
| Infimum of E_op elements. | |
| E_op | osum (const E_op &f) const |
| osum (classical sum) of E_op elements | |
| E_op | lfrac (const E_op &f) const |
| left residuation | |
| E_op | rfrac (const E_op &f) const |
| right residuation | |
| bool | operator== (const E_op &w) const |
| bool | operator!= (const E_op &w) const |
| bool | operator<= (const E_op &w) const |
| bool | operator>= (const E_op &w) const |
| bool | operator> (const E_op &w) const |
| bool | operator< (const E_op &w) const |
Static Public Member Functions | |
| static E_op | E () |
| neutral E_op | |
| static E_op | Mu (unsigned m) |
| E_op::Mu(c) is the operator. | |
| static E_op | Beta (unsigned b) |
| E_op::Beta(c) is the operator. | |
| static E_op | Nabla (unsigned m, unsigned b) |
| E_op::Nabla(m,b) is the . composed operator. | |
| static E_op | Nabla (unsigned mb) |
| E_op::Nabla(mb) is the . composed operator. | |
| static E_op | MuVar (const std::vector< unsigned > &weights) |
| E_op::MuVar({1,2}) is an E-operator <seq> defined by a sequence of weights. | |
| static E_op | BetaVar (const std::vector< unsigned > &weights) |
| E_op::BetaVar({1,2}) is an E-operator <seq> defined by a sequence of weights. | |
| static E_op | Gamma (int n) |
| E_op::Gamma(n) is the E-operator. | |
Protected Attributes | |
| Fminp | _fper |
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.
| etvo::E_op::E_op | ( | ) |
default initialization is the neutral E-operator
E default constructor (identity op)
1.8.14