Struct tract_core::analyser::rules::ShapeProxy

pub struct ShapeProxy { /* fields omitted */ }

A proxy for a tensor shape.

Methods

impl ShapeProxy

pub fn new(path: Path) -> ShapeProxy

Creates a new ShapeProxy instance.

Trait Implementations

impl IntoExp<ShapeFact> for ShapeProxy

fn bex(self) -> Exp<ShapeFact>

Converts the value to an Expression.

impl<'a> IntoExp<ShapeFact> for &'a ShapeProxy

fn bex(self) -> Exp<ShapeFact>

Converts the value to an Expression.

impl Proxy for ShapeProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a ShapeProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl ComparableProxy for ShapeProxy

type Output = ShapeFact

impl<'a> ComparableProxy for &'a ShapeProxy

type Output = ShapeFact

impl Debug for ShapeProxy

fn fmt(&self, formatter: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Index<usize> for ShapeProxy

type Output = DimProxy

The returned type after indexing.

fn index(&self, index: usize) -> &DimProxy

Returns the DimProxy corresponding to the given index.