Struct ExecutionPlan 

pub struct ExecutionPlan {
    pub sccs: Vec<Scc>,
    pub strata: Vec<Stratum>,
    pub rules_by_scc: Vec<Vec<CompiledRule>>,
    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

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 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.