Expand description
Runtime model for knowledge-base rewrite rules.
This module describes what a rule is. Rule equivalence checking lives in
rule_equivalence because matrix construction, parameter sampling, and
numerical comparison are validation strategies rather than rule structure.
Structs§
- Rule
- Runtime rewrite rule: match operations plus optional conditions and target.
- Rule
Item - One gate-like item in a rule match or rewrite block.
Enums§
- Condition
- Parameter constraints required for a rewrite rule to apply.
- Rule
Validation Error