(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
This is the complete list of members for etvo::E_op, including all inherited members.
_fper (defined in etvo::E_op) | etvo::E_op | protected |
add(const gNg &term) | etvo::E_op | |
add(const E_op &op) | etvo::E_op | |
Beta(unsigned b) | etvo::E_op | static |
BetaVar(const std::vector< unsigned > &weights) | etvo::E_op | static |
E() | etvo::E_op | static |
E_op() | etvo::E_op | |
E_op(const gNg &term) | etvo::E_op | |
extendBy(unsigned mul) const | etvo::E_op | |
Fw(int ki) const | etvo::E_op | |
Gamma(int n) | etvo::E_op | static |
getB() const | etvo::E_op | |
getFw() const | etvo::E_op | |
getM() const | etvo::E_op | |
getPeriodicity() const | etvo::E_op | |
getTerms() const | etvo::E_op | |
inf(const E_op &f) const | etvo::E_op | |
lfrac(const E_op &f) const | etvo::E_op | |
Mu(unsigned m) | etvo::E_op | static |
MuVar(const std::vector< unsigned > &weights) | etvo::E_op | static |
Nabla(unsigned m, unsigned b) | etvo::E_op | static |
Nabla(unsigned mb) | etvo::E_op | static |
operator!=(const E_op &w) const (defined in etvo::E_op) | etvo::E_op | |
operator*(const E_op &f) const | etvo::E_op | |
operator+(const E_op &f) const | etvo::E_op | |
operator<(const E_op &w) const (defined in etvo::E_op) | etvo::E_op | |
operator<=(const E_op &w) const (defined in etvo::E_op) | etvo::E_op | |
operator==(const E_op &w) const (defined in etvo::E_op) | etvo::E_op | |
operator>(const E_op &w) const (defined in etvo::E_op) | etvo::E_op | |
operator>=(const E_op &w) const (defined in etvo::E_op) | etvo::E_op | |
oplus(const E_op &f) const | etvo::E_op | |
osum(const E_op &f) const | etvo::E_op | |
otimes(const E_op &f) const | etvo::E_op | |
reduce() | etvo::E_op | |
rfrac(const E_op &f) const | etvo::E_op | |
setFromFw(const Fminp &) | etvo::E_op | |
toString() const | etvo::E_op | |
toStringAsMuVar() const | etvo::E_op |