Taylor Expansion Diagrams (TEDs) sind eine graphenbasierte Funktionsdarstellung -
ähnlich zu BDDs. TEDs repräsentieren neben Booleschen Funktionen z.B. auch Funktionen
über ganzzahligen Variablen. Genauso wie BDDs sind sie eine kanonische Darstellung von
Funktionen und erlauben die Anwendung von Verknüpfungsalgorithmen direkt auf der
Graphenstruktur. TEDs können für die Verifikation und die Synthese eingestzt werden.
