von MayaB. » Mi 14. Dez 2011, 18:00
@localghost:
Uh, wow, da wäre ich nie drauf gekommen

Verstehe es auch nicht alles richtig, aber jedenfalls funktioniert es! Vielen, vielen Dank!
@guy.brush:
Der Pfeil wird in dem Paper: "The Size-Change Principle for Program Termination verwendet" und markiert eine Kante, bei der Sink nicht größer als Source sein darf

@localghost:
Uh, wow, da wäre ich nie drauf gekommen :-) Verstehe es auch nicht alles richtig, aber jedenfalls funktioniert es! Vielen, vielen Dank!
@guy.brush:
Der Pfeil wird in dem Paper: "The Size-Change Principle for Program Termination verwendet" und markiert eine Kante, bei der Sink nicht größer als Source sein darf ;-)