Crate seesaw_tgg 

seesaw-core

Kern-Engine für delta-extended Triple Graph Grammars mit Ghost-Overlays.

Siehe die Kapitel T₁–T₈ im Arbeitsstand-PDF (seesaw_rev2/main.tex) für die formale Grundlage.

Module

• graph: typisierte attributierte Graphen, Status-Annotation, parent-rooted Ghost-IDs (T₂, T₅).
• ops: atomare Operationen, Delta-Einträge, Overlay-Anwendung, Rollup-Index κ (T₁, T₂, T₃).
• engine: Pattern-Matching, Rule-Trait, Rang-Selektion, Cascade, Backtracking (T₃, T₄, T₆).
• fold: Nullifikation, Konsolidierung, Materialisierung, Netto-Delta, Transitions-Graph (T₅, T₇).

Modules

engine

Engine-Modul — T₃, T₄, T₆.

fold

Fold-Modul — T₅, T₇.

graph

Graph-Modul — T₂, T₅.

ops

Ops-Modul — T₁, T₂, T₃.

rule

Rule-Spec-Layer: deserialisiert RuleSets aus JSON, wie sie net.sandrakessler.seesaw.core.rules.RuleSetJsonExporter auf der Java-Seite produziert. In diesem Modul liegt nur die reine Datenstruktur; die Kompilierung Spec → BasicRule-Closure ist Aufgabe eines Folge-Moduls (P7b).

viz

Visualisierungs-Hilfen für Debugging und Paper-Figuren.

xmi

XMI-Import/Export — EMF-Interoperabilität.