seriesET.h File Reference

#include "../wrapperMMGD/seriesWrapper.h"
#include "../wrapperMMGD/matrixWrapper.h"
#include "../seriesEd/seriesEd.h"
#include "../seriesTg/seriesTg.h"
#include <iostream>
#include "../common/ISterm.h"

Go to the source code of this file.

Classes
class	etvo::seriesET
	Class for ultimately-periodic series in the semiring ET. More...

Namespaces
	etvo

Functions
std::ostream &	etvo::operator<< (std::ostream &f, const seriesET &s)
seriesET	etvo::star (const seriesET &s)
seriesET	etvo::oplus (const seriesET &sa, const seriesET &sb)
seriesET	etvo::inf (const seriesET &sa, const seriesET &sb)
seriesET	etvo::otimes (const seriesET &sa, const seriesET &sb)
seriesET	etvo::lfrac (const seriesET &sa, const seriesET &sb)
seriesET	etvo::rfrac (const seriesET &sa, const seriesET &sb)
seriesET	etvo::etg (int n, bool QedForm=true)
	element g^n in ET
seriesET	etvo::etd (int t, bool QedForm=true)
	element d^t in ET
seriesET	etvo::etm (unsigned m, bool QedForm=true)
	element mu_m in ET (Event multiplier)
seriesET	etvo::etm (const std::vector< unsigned > &seq)
seriesET	etvo::etb (const std::vector< unsigned > &seq)
seriesET	etvo::etd (const std::vector< int > &seqDelays)
seriesET	etvo::etb (unsigned b, bool QedForm=true)
	element beta_b in ET (EVent divider)
seriesET	etvo::etv (unsigned v, bool QedForm=true)
	element vee_v in ET (Time multiplier)
seriesET	etvo::etw (unsigned w, bool QedForm=true)
	element wedge_w in ET (Time divider)