Struct tract_core::analyser::rules::ValueProxy

pub struct ValueProxy { /* fields omitted */ }

A proxy for the whole tensor value.

This proxy is a bit special as it allows arbitrarily nested indexing, so that writing something like input.value[1][6][2] will always work. To make this work, each ValueProxy holds a cache which will generate new ValueProxys for nested items on the fly and store them.

Methods

impl ValueProxy

pub fn new(path: Path) -> ValueProxy

Creates a new RootValueProxy instance.

Trait Implementations

impl IntoExp<GenericFact<Arc<Tensor>>> for ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<Arc<Tensor>>> for &'a ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl Proxy for ValueProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a ValueProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl ComparableProxy for ValueProxy

type Output = ValueFact

impl<'a> ComparableProxy for &'a ValueProxy

type Output = ValueFact

impl Debug for ValueProxy

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

Formats the value using the given formatter.

impl Index<()> for ValueProxy

type Output = IntProxy

The returned type after indexing.

fn index(&self, _: ()) -> &IntProxy

Returns the RootValueProxy corresponding to the given index.

impl Index<usize> for ValueProxy

type Output = ElementProxy

The returned type after indexing.

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

Returns the ElementProxy corresponding to the given index.