(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
Fmaxp.h
Go to the documentation of this file.
1 #ifndef FMAXP_H
2 #define FMAXP_H
3 #include "Fper.h"
4 
13 namespace etvo
14 {
22 class Fmaxp:public Fper
23 {
24  public:
26  static Fmaxp E();
28  Fmaxp();
30  Fmaxp(int dP,int codP,const std::vector<int> & seq);
32  Fmaxp(const Fper &);
34  Fmaxp min(const Fmaxp & ) const;
36  Fmaxp max(const Fmaxp & ) const;
38  Fmaxp operator+(const Fmaxp & f) const;
40  Fmaxp operator*(const Fmaxp & f) const;
42  Fmaxp inf(const Fmaxp & f) const;
43 
44  bool operator==(const Fmaxp & ) const;
45  bool operator!=(const Fmaxp &) const;
46  bool operator<=(const Fmaxp & ) const;
47  bool operator>=(const Fmaxp & ) const;
48  bool operator<(const Fmaxp &) const;
49  bool operator>(const Fmaxp &) const;
57  Fmaxp lfrac(const Fmaxp & a) const;
63  Fmaxp rfrac(const Fmaxp & a) const;
64 
66  virtual std::string toString() const;
67 };
68 }
69 #endif // FMAXP_H
virtual std::string toString() const
Definition: Fmaxp.cpp:203
Fmaxp lfrac(const Fmaxp &a) const
residuation of the left product Fmaxp g,f;
Definition: Fmaxp.cpp:132
Definition: etvoException.cpp:5
Class for pseudo - periodic functions with oplus=max and otimes=composition.
Definition: Fmaxp.h:22
Fmaxp min(const Fmaxp &) const
Definition: Fmaxp.cpp:35
Base class for pseudo - periodic functions Z->Z where f(x + dP) = codP + f(x)
Definition: Fper.h:25
static Fmaxp E()
Definition: Fmaxp.cpp:12
Fmaxp rfrac(const Fmaxp &a) const
residuation of the right product Fmaxp g,f; ... g.rfrac(f) = greatest function h s.t. h.f <= g
Definition: Fmaxp.cpp:159
Fmaxp()
Definition: Fmaxp.cpp:22
Fmaxp operator*(const Fmaxp &f) const
Definition: Fmaxp.cpp:89
Fmaxp inf(const Fmaxp &f) const
Definition: Fmaxp.cpp:94
Fmaxp max(const Fmaxp &) const
Definition: Fmaxp.cpp:59
Fmaxp operator+(const Fmaxp &f) const
Definition: Fmaxp.cpp:84