(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) |