IN: Regel; zwei Affixparameter
OUT: -
SEM: fügt die Kante (AO1,AO2) in den TDP ein und bildet den transitiven Abschluss TDP+;
die eingefügte Abhängigkeit lautet: AO2 hängt ab von AO1, AO1->AO2 im Sinne des Datenflusses;
markiert alle neu eingefügten Kanten, indem sie auf einen Stack gelegt werden
SEF: NUV: AList ist global
MarkedEdges falls Phase = computeDPandIDP
ChangeBuf, CyclicTDP falls Phase = dynTopSort
IN: Regel; zwei Affixparameter OUT: - SEM: fügt die Kante (AO1,AO2) in den TDP ein und bildet den transitiven Abschluss TDP+; die eingefügte Abhängigkeit lautet: AO2 hängt ab von AO1, AO1->AO2 im Sinne des Datenflusses; markiert alle neu eingefügten Kanten, indem sie auf einen Stack gelegt werden SEF: NUV: AList ist global MarkedEdges falls Phase = computeDPandIDP ChangeBuf, CyclicTDP falls Phase = dynTopSort