Enum SymDim 

pub enum SymDim {
    Fixed(usize),
    Symbolic(String),
    Dynamic,
}

A dimension that can be concrete, symbolic, or fully dynamic.

This is the runtime-level counterpart to the IR’s Dim enum, but designed for use with actual tensor operations and shape validation.

Variants

Fixed(usize)

Known at compile time: 768, 50257, etc.

Symbolic(String)

Named symbolic dimension: “Batch”, “SeqLen”, “HiddenDim” Resolved to a concrete value at runtime via ShapeEnv.

Dynamic

Fully dynamic — matches any concrete value. Used when a dimension is truly unknown until runtime.

Implementations

impl SymDim

pub fn fixed(n: usize) -> Self

Create a fixed dimension.

pub fn symbolic(name: impl Into<String>) -> Self

Create a named symbolic dimension.

pub fn dynamic() -> Self

Create a dynamic (wildcard) dimension.

pub fn is_fixed(&self) -> bool

Is this a concrete (fixed) dimension?

pub fn is_symbolic(&self) -> bool

Is this a symbolic (named) dimension?

pub fn is_dynamic(&self) -> bool

Is this fully dynamic?

pub fn resolve(&self, env: &ShapeEnv) -> Option<usize>

Try to resolve this dimension to a concrete value.

• Fixed: returns the value directly
• Symbolic: looks up the name in the environment
• Dynamic: returns None (cannot resolve without a concrete value)

pub fn matches(&self, value: usize, env: &ShapeEnv) -> bool

Check if a concrete value matches this dimension pattern.

• Fixed(n): value must equal n
• Symbolic: checks env if bound, otherwise matches any value
• Dynamic: matches any value

pub fn unify(&self, value: usize, env: &mut ShapeEnv) -> bool

Try to unify this dimension with a concrete value, potentially binding a symbolic name in the environment.

Returns true if unification succeeds.

Trait Implementations

impl Clone for SymDim

fn clone(&self) -> SymDim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymDim

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

Formats the value using the given formatter.

impl Display for SymDim

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

Formats the value using the given formatter.

impl From<&str> for SymDim

fn from(s: &str) -> Self

Converts to this type from the input type.

impl From<usize> for SymDim

fn from(n: usize) -> Self

Converts to this type from the input type.

impl Hash for SymDim

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SymDim

fn eq(&self, other: &SymDim) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SymDim

impl StructuralPartialEq for SymDim