Struct ExecutionPlan 

pub struct ExecutionPlan {
    pub sccs: Vec<Scc>,
    pub strata: Vec<Stratum>,
    pub rules_by_scc: Vec<Vec<CompiledRule>>,
    pub generated_query_rules: Vec<GeneratedQueryRuleProvenance>,
    pub est_memory_peak: u64,
    pub rel_arities: HashMap<RelId, usize>,
}

Complete execution plan for a program

Fields

sccs: Vec<Scc>

SCCs in dependency order

strata: Vec<Stratum>

Strata for negation ordering

rules_by_scc: Vec<Vec<CompiledRule>>

Compiled rules grouped by SCC

generated_query_rules: Vec<GeneratedQueryRuleProvenance>

Exact compiled rule positions originating from authored program queries. Manually assembled plans leave this empty unless they explicitly model generated-query semantics.

est_memory_peak: u64

Total estimated memory peak (bytes)

rel_arities: HashMap<RelId, usize>

Relation arities known at lowering time (every predicate the lowerer assigned a RelId). Consumed by shape promoters that must size Scan leaves without schema access (general Free Join multiway promotion).

Implementations

impl ExecutionPlan

pub fn new(sccs: Vec<Scc>) -> Self

Create a new execution plan from SCCs

pub fn with_strata(self, strata: Vec<Stratum>) -> Self

Add strata to the plan

pub fn recursive_scc_count(&self) -> usize

Get the number of recursive SCCs

pub fn dependency_closed_subplan( &self, root_sccs: &[usize], defining_sccs: &HashMap<RelId, usize>, ) -> Option<Self>

Return the dependency-closed subplan for a set of root SCC positions.

defining_sccs maps derived relation IDs to the SCC that defines them. Relations absent from that map are treated as extensional inputs. The projection preserves source order, retains complete SCCs, and rewrites every positional index in the plan. None means the supplied plan or dependency proof is inconsistent, so callers must keep the original plan.

pub fn has_recursion(&self) -> bool

Check if this plan has any recursion

Trait Implementations

impl Clone for ExecutionPlan

fn clone(&self) -> ExecutionPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionPlan

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

Formats the value using the given formatter.