Struct SymbolInterner 

pub struct SymbolInterner { /* private fields */ }

Allocates and interns fresh symbolic dimensions, and lowers DimExprs to IR Dims.

A derived dimension that is neither a pure constant nor a bare symbol (e.g. floor((d-k)/s)+1 where d is symbolic) cannot be stored in the IR’s Dim enum. Such an expression is assigned a fresh symbol; because DimExpr is canonical, two structurally-identical derived dimensions intern to the same symbol and stay unified across the graph.

Implementations

impl SymbolInterner

pub fn new(next: u32) -> Self

A new interner that allocates symbol ids starting at next (which must be greater than every symbol id already present in the graph).

pub fn fresh_symbol(&mut self) -> SymbolId

Mint a brand-new opaque symbol (not tied to any expression).

pub fn fresh_dim(&mut self) -> DimExpr

Mint a fresh opaque dimension expression.

pub fn lower(&mut self, expr: &DimExpr) -> Dim

Lower a DimExpr to an IR Dim, interning derived expressions to a stable fresh symbol.

pub fn fresh_symbols(&self) -> &[SymbolId]

The symbols minted during inference (to register on the graph).

Trait Implementations

impl Debug for SymbolInterner

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

Formats the value using the given formatter.