(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
Fminp.h
Go to the documentation of this file.
1 #ifndef FMINP_H
2 #define FMINP_H
3 #include "Fper.h"
4 
14 namespace etvo
15 {
16 
24 class Fminp:public Fper
25 {
26  public:
28  static Fminp E();
29 
31  Fminp();
33  Fminp(int dP,int codP,const std::vector<int> & seq);
35  Fminp(const Fper & f);
36 
38  Fminp min(const Fminp & f ) const;
39 
41  Fminp max(const Fminp & f ) const;
42 
44  Fminp operator+(const Fminp & f) const;
46  Fminp operator*(const Fminp & f) const;
48  Fminp inf(const Fminp & f) const;
49 
50  bool operator==(const Fminp & f) const;
51  bool operator!=(const Fminp & f) const;
52  bool operator<=(const Fminp & f) const;
53  bool operator>=(const Fminp & f) const;
54  bool operator<(const Fminp & f) const;
55  bool operator>(const Fminp & f) const;
56 
64  Fminp lfrac(const Fminp & a) const;
65 
73  Fminp rfrac(const Fminp & a) const;
75  virtual std::string toString() const;
76 };
77 }
78 #endif // FMINP_H
Fminp operator*(const Fminp &f) const
Definition: Fminp.cpp:86
Fminp min(const Fminp &f) const
Definition: Fminp.cpp:34
Definition: etvoException.cpp:5
Fminp max(const Fminp &f) const
Definition: Fminp.cpp:58
Fminp inf(const Fminp &f) const
Definition: Fminp.cpp:91
virtual std::string toString() const
Definition: Fminp.cpp:203
Base class for pseudo - periodic functions Z->Z where f(x + dP) = codP + f(x)
Definition: Fper.h:25
Fminp rfrac(const Fminp &a) const
residuation of the right product Fminp g,f;
Definition: Fminp.cpp:154
Class for pseudo - periodic functions with oplus=min and otimes=composition.
Definition: Fminp.h:24
Fminp lfrac(const Fminp &a) const
residuation of the left product Fminp g,f;
Definition: Fminp.cpp:126
Fminp()
Definition: Fminp.cpp:21
Fminp operator+(const Fminp &f) const
Definition: Fminp.cpp:81
static Fminp E()
Definition: Fminp.cpp:11