application-specific enrichments of "paging" boxes

[ke]

Wenn man den "Erfolg" eines Schritts auch an Seiteneffekten misst, wird es komplizierter, weil anwendungsspezifisch. Für TRALE könnte man z.B. mit jedem rule-Schritt die Information verknüpfen, wie viele neue Kanten während seiner Ausführung angelegt wurden und das Knotenlabel des rule-Schritts um diese Information anreichern. Und dann wohl nicht nur das Knotenlabel der einzelnen Geschwister, sondern auch die eben erwähnte zusammenfassende Box (see ticket #7), die dann nicht nur angäbe, wie viele Geschwister es gibt, sondern auch, in wie vielen davon neue Kanten angelegt wurden bzw. wie viele neue Kanten darin insgesamt angelegt wurden...

[ke]

Superseded by list tree view.