Struct tfdeploy::analyser::rules::prelude::ElementProxy

pub struct ElementProxy { /* fields omitted */ }

A proxy for a tensor element.

Methods

impl ElementProxy

pub fn new(path: Path) -> ElementProxy

Creates a new ElementProxy instance.

Trait Implementations

impl<'a> IntoExp<IntFact> for &'a ElementProxy

fn bex(self) -> Exp<IntFact>

Converts the value to an Expression.

impl Index<usize> for ElementProxy

type Output = ElementProxy

The returned type after indexing.

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

Returns the ElementProxy corresponding to the given index.

impl Proxy for ElementProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Debug for ElementProxy

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

Formats the value using the given formatter.

impl<'a> Proxy for &'a ElementProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl ComparableProxy for ElementProxy

type Output = IntFact

impl<'a> ComparableProxy for &'a ElementProxy

type Output = IntFact