Struct EpistemicSplitExecutablePlan 

pub struct EpistemicSplitExecutablePlan {
    pub split_plan: EpistemicSplitPlan,
    pub components: Vec<EpistemicSplitExecutableComponent>,
}

Executable split plan whose components reuse the normal epistemic GPU lowering.

Fields

split_plan: EpistemicSplitPlan

Original bounded split plan.

components: Vec<EpistemicSplitExecutableComponent>

Epistemic components compiled into GPU executable subplans.

Implementations

impl EpistemicSplitExecutablePlan

pub fn recomposed_rule_indices(&self) -> Vec<usize>

Return the source rule indices actually recomposed by GPU split execution.

This reflects the rules the executable plan runs: epistemic-bearing components only. Pure-ordinary independent components carry no epistemic output buffer and are not part of the epistemic execution surface, so they are intentionally excluded here. The full dependency-graph view (including non-executed ordinary components) lives on EpistemicSplitPlan::recomposed_rule_indices; the two coincide exactly when every component is epistemic-bearing.

pub fn planned_recomposed_rule_indices(&self) -> Vec<usize>

Return the full dependency-graph recomposition view, including independent non-epistemic components that the executable plan does not run.

pub fn recomposed_components(&self) -> Vec<&EpistemicSplitExecutableComponent>

Return executable components ordered by the first source rule they cover.

Trait Implementations

impl Clone for EpistemicSplitExecutablePlan

fn clone(&self) -> EpistemicSplitExecutablePlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicSplitExecutablePlan

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

Formats the value using the given formatter.