(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
Go to the source code of this file.
Classes | |
class | etvo::gNg |
Class to describe terms in E[[d]] written g^n.Nabla_(m|b).g^n' = g^nl.M_m.B_b.g^nr. More... | |
Namespaces | |
etvo | |
Functions | |
std::ostream & | etvo::operator<< (std::ostream &f, const gNg &m) |