Skip to main content

plan_effect_execution

presolve_compiler::effect

Function plan_effect_execution 

Source 
pub fn plan_effect_execution(
    computed_values: &BTreeMap<SemanticId, ComputedValue>,
    effects: &BTreeMap<SemanticId, Effect>,
    effect_analysis: &BTreeMap<SemanticId, EffectReactiveAnalysis>,
    trigger_plan: &EffectTriggerPlan,
    reactive_transitive_analysis: &IrReactiveTransitiveAnalysis,
    computed_evaluation_plan: &IrComputedEvaluationPlan,
) -> EffectExecutionPlan
Expand description

Derive minimal, dependency-complete computed prerequisites and terminal effect batches from existing F7, F8, and E9 compiler products.

This function never inspects effect or computed source expressions. E9 remains the authority for computed ordering; F9 only filters its batches and asks the existing Phase D scheduler to form terminal effect batches.