(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
polyEd.h File Reference

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)