Struct Lowerer 

pub struct Lowerer { /* private fields */ }

Lowerer transforms AST programs into RIR execution plans.

Implementations

impl Lowerer

pub fn new() -> Self

Create a new lowerer instance

pub fn set_max_active_rules(&mut self, max: usize)

Set the maximum active rules for TensorMaskedJoin.

pub fn rel_ids(&self) -> &HashMap<String, RelId>

Get the mapping from predicate names to relation IDs

pub fn schemas(&self) -> &HashMap<String, Schema>

Get the inferred schemas for predicates

pub fn infer_and_validate_schemas(&mut self, program: &Program) -> Result<()>

Infer predicate schemas and validate the type flow within every rule.

This applies the schema/type contract shared by execution routes without preprocessing, stratifying, validating unrelated term forms, or building an execution plan. The inferred schemas remain available through Lowerer::schemas.

pub fn lower_program(&mut self, program: &Program) -> Result<ExecutionPlan>

Lower an entire program to an execution plan

Trait Implementations

impl Default for Lowerer

fn default() -> Self

Returns the “default value” for a type.