MLSHom.h File Reference

#include "ddd/AdditiveMap.hpp"
#include "ddd/SHom.h"

Include dependency graph for MLSHom.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	MLShom
class	_MLShom
class	StrongMLShom

Typedefs
typedef AdditiveMap< GShom, GSDD >	SHomNodeMap
typedef AdditiveMap< GShom, MLShom >	SHomHomMap

Functions
MLShom	operator+ (const MLShom &, const MLShom &)
	Composition by union of two homomorphisms. More...

Typedef Documentation

SHomHomMap

typedef AdditiveMap<GShom, MLShom> SHomHomMap

SHomNodeMap

typedef AdditiveMap<GShom, GSDD> SHomNodeMap

Function Documentation

operator+()

MLShom operator+	(	const MLShom &	h1,
		const MLShom &	h2
	)

Composition by union of two homomorphisms.

By definition, as homomorphism are linear, (h+g) (d) = h(d) + g(d) ; Where g,h are homomorphisms and d is a SDDD.

This commutative operation computes a homomorphism that evaluates as the sum of two homomorphism.

Semantics : (h1 + h2) (d) = h1(d) + h2(d).