Module node_rules 

Node Rules - Exploration 内の純粋な遷移制約

設計思想

• ドメイン非依存: Action や Task を知らない
• 純粋な制約: 「NodeType A → NodeType B が可能」というルールのみ
• 外部から注入: DependencyGraph 等から変換して渡す

研究室の探索グラフとの対比

研究室（4セル）	SwarmEngine
上下左右の4方向	DependencyGraph から生成
静的ルール（固定）	動的ルール（タスク依存）

共通点: Exploration 内では 純粋な遷移制約 として扱う

使用例

// Domain 側で変換
let rules: NodeRules = dependency_graph.into();

// Operator に渡す（型パラメータで強制）
let operator = FifoOperator::<NodeRules>::new(rules);

// Rules trait を通じてノード生成
let successors = rules.successors("grep");

Structs

NodeRules

Exploration 内の純粋な遷移制約

Traits

Rules

遷移制約の抽象化