MLHom.cpp File Reference

#include "ddd/MLHom.h"
#include "ddd/UniqueTable.h"
#include <typeinfo>
#include "ddd/util/set.hh"
#include "ddd/MLCache.hh"

Include dependency graph for MLHom.cpp:

Classes
struct	d3::util::equal< _MLHom * >
class	nsMLHom::Identity
class	nsMLHom::Add
class	nsMLHom::GHomAdapter
class	nsMLHom::ConstantUp
class	nsMLHom::LeftConcat

Namespaces
	d3
	d3::util
	nsMLHom

Typedefs
typedef MLCache< MLHom, GDDD, HomNodeMap >	nsMLHom::MLHomCache

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

Variables
static UniqueTable< _MLHom >	canonical
static MLHomCache	nsMLHom::mlcache

Function Documentation

operator+()

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

Composition by union of two homomorphisms.

Where g,h are homomorphisms and d is a DDD.

Variable Documentation

canonical

UniqueTable<_MLHom> canonical

static

Referenced by MLHom::garbage().