TRANSFER Section
define the exit value in terms of the entry value (@) (or vice versa for backward problems)
definition by cases for the WHILE statements
optional matching of the edge type
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen