(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
etvo::E_op Member List

This is the complete list of members for etvo::E_op, including all inherited members.

_fper (defined in etvo::E_op)etvo::E_opprotected
add(const gNg &term)etvo::E_op
add(const E_op &op)etvo::E_op
Beta(unsigned b)etvo::E_opstatic
BetaVar(const std::vector< unsigned > &weights)etvo::E_opstatic
E()etvo::E_opstatic
E_op()etvo::E_op
E_op(const gNg &term)etvo::E_op
extendBy(unsigned mul) constetvo::E_op
Fw(int ki) constetvo::E_op
Gamma(int n)etvo::E_opstatic
getB() constetvo::E_op
getFw() constetvo::E_op
getM() constetvo::E_op
getPeriodicity() constetvo::E_op
getTerms() constetvo::E_op
inf(const E_op &f) constetvo::E_op
lfrac(const E_op &f) constetvo::E_op
Mu(unsigned m)etvo::E_opstatic
MuVar(const std::vector< unsigned > &weights)etvo::E_opstatic
Nabla(unsigned m, unsigned b)etvo::E_opstatic
Nabla(unsigned mb)etvo::E_opstatic
operator!=(const E_op &w) const (defined in etvo::E_op)etvo::E_op
operator*(const E_op &f) constetvo::E_op
operator+(const E_op &f) constetvo::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) constetvo::E_op
osum(const E_op &f) constetvo::E_op
otimes(const E_op &f) constetvo::E_op
reduce()etvo::E_op
rfrac(const E_op &f) constetvo::E_op
setFromFw(const Fminp &)etvo::E_op
toString() constetvo::E_op
toStringAsMuVar() constetvo::E_op