etvo Namespace Reference

Classes
class	dDd
	terms like d^tl.V_m.d^tc.W_b.d^tr More...
class	E_op
	Class to describe E-operators which are coefficients of terms in E[[d]]. One E_op element is defined by a Counter-to-counter (Fminp) function. More...
class	Ed
	Class for monomials in the semiring E[[d]]. More...
class	etvoException
	Class to describe exceptions in etvo. More...
class	Factory
class	FactoryFper
class	FactoryPoly
class	FactoryPolyEd
class	FactoryPolyTg
class	FactorySeries
	Class for series generators. More...
class	FactorySeriesEd
class	FactorySeriesTg
class	Fmaxp
	Class for pseudo - periodic functions with oplus=max and otimes=composition. More...
class	Fminp
	Class for pseudo - periodic functions with oplus=min and otimes=composition. More...
class	Fper
	Base class for pseudo - periodic functions Z->Z where f(x + dP) = codP + f(x) More...
class	gd
	Wrapper class to mmgd::gd from MinMaxGD library. More...
class	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...
class	gNgdDd
class	ISterm
	Abstract base class to handle Idempotent Semiring terms. More...
class	matrix
class	matrix< T >
	Template class to create matrix of semiring elements (series,seriesEd ...) More...
class	parser
	Class methods to parse strings describing formal series. More...
class	poly
	Wrapper class to mmgd::poly from from MinMaxGD library. More...
class	polyEd
	Class for polynomials in the semiring E[[d]]. More...
class	polyTg
	Class for polynomials in the semiring T[[g]]. More...
class	randGen
class	series
	Wrapper class to mmgd::serie from MinMaxGD library. More...
class	seriesEd
	Class for ultimately-periodic series in the semiring E[[d]]. In a general way, the series are described by two standard (canonical) forms s=p+q.r*=p'+r'*.q' where p,p',q,q' are polynomials in E[[d]] and r/r' are etvo::gd terms (in MinMax[[g,d]]). More...
class	seriesET
	Class for ultimately-periodic series in the semiring ET. More...
class	seriesTg
	Class for ultimately-periodic series in the semiring T[[g]]. More...
class	T_op
	Class to describe T-operators which are coefficients of terms in T[[g]]. More...
class	Tg
	Class for monomials in the semiring T[[g]]. More...
class	Tools

Functions
std::ostream &	operator<< (std::ostream &f, const dDd &m)
std::ostream &	operator<< (std::ostream &f, const E_op &op)
std::ostream &	operator<< (std::ostream &f, const gNg &m)
std::ostream &	operator<< (std::ostream &f, const gNgdDd &m)
std::ostream &	operator<< (std::ostream &f, const T_op &op)
std::ostream &	operator<< (std::ostream &f, const Fper &)
	operator to print Fper elements into the standard ostream More...
std::ostream &	operator<< (std::ostream &st, const Ed &m)
	insert an Ed term into the standard ostream
bool	compD (Ed m1, Ed m2)
std::ostream &	operator<< (std::ostream &st, const polyEd &p)
seriesEd	eg (int n)
	element g^n in E[[d]]
seriesEd	ed (int t)
	element d^t in E[[d]]
seriesEd	em (unsigned m)
	element mu_m in E[[d]]
seriesEd	eb (unsigned b)
	element beta_b in E[[d]]
seriesEd	en (unsigned n)
	element Nabla_n=mu_n.beta_n in E[[d]]
seriesEd	em (const std::vector< unsigned > &seq)
	element mu var mu_<seq> in E[[d]] where the sequence is given by a vector
seriesEd	eb (const std::vector< unsigned > &seq)
	element beta var beta_<seq> in E[[d]] where the sequence is given by a vector
seriesEd	star (const seriesEd &s)
seriesEd	oplus (const seriesEd &s1, const seriesEd &s2)
seriesEd	inf (const seriesEd &s1, const seriesEd &s2)
seriesEd	otimes (const seriesEd &s1, const seriesEd &s2)
seriesEd	lfrac (const seriesEd &s1, const seriesEd &s2)
seriesEd	rfrac (const seriesEd &s1, const seriesEd &s2)
std::ostream &	operator<< (std::ostream &f, const seriesEd &s)
seriesET	etg (int n, bool QedForm=true)
	element g^n in ET
seriesET	etd (int t, bool QedForm=true)
	element d^t in ET
seriesET	etm (unsigned m, bool QedForm=true)
	element mu_m in ET (Event multiplier)
seriesET	etm (const std::vector< unsigned > &seq)
seriesET	etb (const std::vector< unsigned > &seq)
seriesET	etd (const std::vector< int > &seqDelays)
seriesET	etb (unsigned b, bool QedForm=true)
	element beta_b in ET (EVent divider)
seriesET	etv (unsigned v, bool QedForm=true)
	element vee_v in ET (Time multiplier)
seriesET	etw (unsigned w, bool QedForm=true)
	element wedge_w in ET (Time divider)
std::ostream &	operator<< (std::ostream &f, const seriesET &s)
seriesET	star (const seriesET &s)
seriesET	oplus (const seriesET &sa, const seriesET &sb)
seriesET	otimes (const seriesET &sa, const seriesET &sb)
seriesET	inf (const seriesET &sa, const seriesET &sb)
seriesET	lfrac (const seriesET &sa, const seriesET &sb)
seriesET	rfrac (const seriesET &sa, const seriesET &sb)
bool	compG (Tg m1, Tg m2)
std::ostream &	operator<< (std::ostream &st, const polyTg &p)
seriesTg	tg (int n)
	element g^n in T[[g]]
seriesTg	td (int t)
	element d^t in T[[g]]
seriesTg	tD (unsigned n)
	element Delta_n T[[g]]
seriesTg	tv (unsigned v)
	element V_v in T[[g]] (time multiplier)
seriesTg	tw (unsigned w)
	element W_w in T[[g]] (time divisor)
seriesTg	td (const std::vector< int > &seqDelays)
	element delta var delta^<seq> in T[[g]] where the sequence is given by a vector
seriesTg	star (const seriesTg &s)
seriesTg	oplus (const seriesTg &s1, const seriesTg &s2)
seriesTg	inf (const seriesTg &s1, const seriesTg &s2)
seriesTg	otimes (const seriesTg &s1, const seriesTg &s2)
seriesTg	lfrac (const seriesTg &s1, const seriesTg &s2)
seriesTg	rfrac (const seriesTg &s1, const seriesTg &s2)
std::ostream &	operator<< (std::ostream &f, const seriesTg &s)
std::ostream &	operator<< (std::ostream &st, const Tg &m)
	standard output of a Tg term
std::ostream &	operator<< (std::ostream &f, const gd &m)
template<class T >
std::ostream &	operator<< (std::ostream &flot, const matrix< T > &m)
template<class T >
matrix< T >	oplusGlobal (const matrix< T > &m1, const matrix< T > &m2)
template<class T >
matrix< T >	infGlobal (const matrix< T > &m1, const matrix< T > &m2)
template<class T >
matrix< T >	otimesGlobal (const matrix< T > &m1, const matrix< T > &m2)
template<class T >
matrix< T >	otimesGlobal (const matrix< T > &m1, const T &scal)
	Matrix x scalar.
template<class T >
matrix< T >	otimesGlobal (const T &scal, const matrix< T > &m2)
	scalar x Matrix
template<class T >
matrix< T >	starGaussGlobal (const matrix< T > &A)
	starGlobal (Kleene star algorithm) Gauss-Jordan Method (Gondran Minoux)
template<class T >
matrix< T >	starMmgdGlobal (const matrix< T > &Ak)
	starMmgdGlobal (Kleene star algorithm) From the LMinMaxGD library
template<class T >
matrix< T >	starByBlockGlobal (const matrix< T > &ak)
	starByBlockGlobal (Kleene star algorithm from 4.100 BCOQ)
template<class T >
matrix< T >	lfracGlobal (const matrix< T > &m1, const matrix< T > &m2)
template<class T >
matrix< T >	rfracGlobal (const matrix< T > &m1, const matrix< T > &m2)
poly	oplus (const poly &, const poly &)
	global function
poly	otimes (const poly &, const poly &)
	global function
poly	inf (const poly &, const poly &)
	global function
poly	lfrac (const poly &, const poly &)
	global function
poly	rfrac (const poly &, const poly &)
	global function
std::ostream &	operator<< (std::ostream &, const poly &)
	to insert a polynomial into the standard ostream
series	star (const series &s)
	global functions
series	oplus (const series &s1, const series &s2)
series	inf (const series &s1, const series &s2)
series	otimes (const series &s1, const series &s2)
series	lfrac (const series &s1, const series &s2)
series	rfrac (const series &s1, const series &s2)
std::ostream &	operator<< (std::ostream &flot, const series &serie1)
	global function to print a series in the standard ostream
std::normal_distribution	norm_dist (50, 20)
std::uniform_int_distribution	uni_dist (1, 1000)
gNg	rand_gNg1 ()
gNg	rand_gNg2 ()
gNg	rand_gNg3 ()
dDd	rand_dDd1 ()
dDd	rand_dDd2 ()
dDd	rand_dDd3 ()
E_op	Rand_Eop_fixedG1 (unsigned Me, unsigned Be, int g0)
E_op	Rand_Eop_fixedG2 (unsigned Me, unsigned Be, int g0)

Variables
std::default_random_engine	gen { static_cast<long unsigned int>(time(0)) }

Detailed Description

namespace for ETVO classes

Function Documentation

operator<<() [1/4]

std::ostream & etvo::operator<<	(	std::ostream &	f,
		const gNgdDd &	m
	)

operator to print an element into the standard ostream

operator<<() [2/4]

std::ostream & etvo::operator<<	(	std::ostream &	f,
		const gNg &	m
	)

operator to print an element into the standard ostream

operator<<() [3/4]

std::ostream & etvo::operator<<	(	std::ostream &	f,
		const dDd &	m
	)

operator to print an element into the standard ostream

operator<<() [4/4]

std::ostream & etvo::operator<<	(	std::ostream &	f,
		const Fper &
	)

operator to print Fper elements into the standard ostream