Module rule

kotoba_core::ir

Module rule

Expand description

Rule-IR（DPO型付き属性グラフ書換え）

Structs§

EdgeDef: エッジ定義
GraphElement: グラフパターン要素
GraphPattern: グラフパターン
Guard: ガード条件（名前付き述語）
Match: ルールマッチ結果
RuleIR: DPOルール定義
RuleNac: 負の条件（NAC: Negative Application Condition）- ルール用

Type Aliases§

Matches: 複数マッチ結果