Crate seesaw_tgg

Expand description

§seesaw-tgg

Core engine for delta-extended Triple Graph Grammars with ghost overlays.

See the accompanying paper (chapters T₁–T₈) for the formal foundation.

graph: typed attributed graphs, status annotation, parent-rooted ghost ids (T₂, T₅).
ops: atomic operations, delta entries, overlay application, rollup index κ (T₁, T₂, T₃).
engine: pattern matching, the Rule trait, rank-based selection, cascade, backtracking (T₃, T₄, T₆).
fold: nullification, consolidation, materialization, net delta, transition graph (T₅, T₇).

engine: Engine module — T₃, T₄, T₆.
fold: Fold module — T₅, T₇.
graph: Graph module — T₂, T₅.
hash: Fast, deterministic, dependency-free hasher for internal indices (perf lever A).
ops: Ops module — T₁, T₂, T₃.
rule: Rule-spec layer: deserializes RuleSets from JSON as produced by net.sandrakessler.seesaw.core.rules.RuleSetJsonExporter on the Java side. This module contains only the pure data structure; compiling a spec into a BasicRule closure is the job of a follow-up module (P7b).
viz: Visualization helpers for debugging and paper figures.
xmi: XMI import/export — EMF interoperability.