|
(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
#include "Ed.h"#include "../wrapperMMGD/matrixWrapper.h"#include "../wrapperMMGD/seriesWrapper.h"#include "../common/ISterm.h"#include "../wrapperMMGD/polyWrapper.h"Go to the source code of this file.
Classes | |
| class | etvo::polyEd |
| Class for polynomials in the semiring E[[d]]. More... | |
Namespaces | |
| etvo | |
Functions | |
| std::ostream & | etvo::operator<< (std::ostream &st, const polyEd &p) |