Struct ExecutableRule 

pub struct ExecutableRule {
    pub path: RulePath,
    pub normal_form: NormalFormId,
    pub source: Source,
    pub rule_type: Arc<LemmaType>,
    pub scale_dependencies: Vec<ReferenceTarget>,
}

A named rule’s root in the normal-form table, plus declaration metadata.

Fields

path: RulePath

Unique identifier for this rule

normal_form: NormalFormId

Root of this rule in the shared ExecutionPlan::normal_forms graph.

source: Source

Source location for error messages (always present for rules from parsed specs)

rule_type: Arc<LemmaType>

Type of the rule as written: the lowered source expression typed at planning, equal to validation’s inferred type. The root cell at normal_form has the same value type but may carry a different name after rewrites (x + 0 → x), so the API type reads this field.

scale_dependencies: Vec<ReferenceTarget>

Scale targets of every dynamic unit this rule’s nodes hold or write, in this plan’s coordinates. Evaluated before the rule body; topological order puts local scale rules first.

Implementations

impl ExecutableRule

pub fn name(&self) -> &str

Trait Implementations

impl Clone for ExecutableRule

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExecutableRule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.