Struct SymDim 

pub struct SymDim(/* private fields */);

A symbolic tensor dimension expression used to build shape-agnostic graphs.

SymDim values can be combined with basic arithmetic and later resolved against op-local [DimExpr] expressions when shape metadata is propagated.

Examples

use tenferro_ops::sym_dim::SymDim;

let rows = SymDim::from(3usize);
let cols = SymDim::from(4usize);
let area = rows * cols;

Implementations

impl SymDim

pub fn min(self, other: impl Into<SymDim>) -> SymDim

Return the smaller of two symbolic dimensions.

Examples

use tenferro_ops::sym_dim::SymDim;

let clipped = SymDim::from(5usize).min(8usize);

pub fn max(self, other: impl Into<SymDim>) -> SymDim

Return the larger of two symbolic dimensions.

Examples

use tenferro_ops::sym_dim::SymDim;

let batch = SymDim::from(2usize).max(1usize);

pub fn referenced_tensor_ids(&self) -> Vec<u64>

Collect the unique traced tensor IDs referenced by TensorAxis variants inside this expression, in traversal order (first occurrence wins).

Used by traced composition wrappers that build multi-input ops from SymDim-valued target shapes — e.g. TracedTensor::broadcast_in_dim_sym.

Examples

use tenferro_ops::sym_dim::SymDim;

let lhs = SymDim::tensor_axis(7, 0);
let rhs = SymDim::tensor_axis(9, 1);
let sum = lhs + rhs;
assert_eq!(sum.referenced_tensor_ids(), vec![7, 9]);

Trait Implementations

impl Add<usize> for SymDim

type Output = SymDim

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> <SymDim as Add<usize>>::Output

Performs the + operation.

impl Add for SymDim

type Output = SymDim

The resulting type after applying the + operator.

fn add(self, rhs: SymDim) -> <SymDim as Add>::Output

Performs the + operation.

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<(), Error>

Formats the value using the given formatter.

impl Div<usize> for SymDim

type Output = SymDim

The resulting type after applying the / operator.

fn div(self, rhs: usize) -> <SymDim as Div<usize>>::Output

Performs the / operation.

impl Div for SymDim

type Output = SymDim

The resulting type after applying the / operator.

fn div(self, rhs: SymDim) -> <SymDim as Div>::Output

Performs the / operation.

impl From<usize> for SymDim

fn from(value: usize) -> SymDim

Converts to this type from the input type.

impl Mul<usize> for SymDim

type Output = SymDim

The resulting type after applying the * operator.

fn mul(self, rhs: usize) -> <SymDim as Mul<usize>>::Output

Performs the * operation.

impl Mul for SymDim

type Output = SymDim

The resulting type after applying the * operator.

fn mul(self, rhs: SymDim) -> <SymDim as Mul>::Output

Performs the * operation.

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 Sub<usize> for SymDim

type Output = SymDim

The resulting type after applying the - operator.

fn sub(self, rhs: usize) -> <SymDim as Sub<usize>>::Output

Performs the - operation.

impl Sub for SymDim

type Output = SymDim

The resulting type after applying the - operator.

fn sub(self, rhs: SymDim) -> <SymDim as Sub>::Output

Performs the - operation.

impl Eq for SymDim

impl StructuralPartialEq for SymDim