(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
gNgdDd.h
Go to the documentation of this file.
1 #ifndef gNgdDd_H
2 #define gNgdDd_H
3 #include<string>
4 #include<utility>
5 #include <iostream>
6 
7 #include "gNg.h"
8 #include "dDd.h"
9 
18 namespace etvo
19 {
20 
21 
29 class gNgdDd
30 {
31  public:
32  static void setCanonForm(unsigned val=0); //0=Left 1=Center 2=Right
33  static unsigned getCanonForm();
34 
35  gNgdDd(const gNg & E, const dDd & T);
36 
37  gNg getgNg() const;
38 
39  dDd getdDd() const;
40 
42  void canon();
44  void canonL();
46  void canonC();
48  void canonR();
49 
55  std::string toString(unsigned nVer=0) const;
56  protected:
58  static unsigned _canon;
59  gNg _E;
60  dDd _T;
61 };
62 
64  std::ostream & operator<<(std::ostream & f, const gNgdDd & m);
65 }
66 #endif // gNgdDd_H
void canonR()
set to the Right form
Definition: gNgdDd.cpp:39
void canonL()
set to the Left form
Definition: gNgdDd.cpp:34
std::string toString(unsigned nVer=0) const
Definition: gNgdDd.cpp:49
std::ostream & operator<<(std::ostream &f, const dDd &m)
Definition: dDd.cpp:313
Definition: etvoException.cpp:5
static unsigned _canon
set the canonical form of gNg (default left form)
Definition: gNgdDd.h:58
Class to describe terms in E[[d]] written g^n.Nabla_(m|b).g^n&#39; = g^nl.M_m.B_b.g^nr.
Definition: gNg.h:34
void canon()
set to the canonical form (depends on setCanonForm choice)
Definition: gNgdDd.cpp:32
terms like d^tl.V_m.d^tc.W_b.d^tr
Definition: dDd.h:35
void canonC()
set to the Central
Definition: gNgdDd.cpp:44
Definition: gNgdDd.h:29