Struct ValueProxy 

pub struct ValueProxy { /* private fields */ }

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.

Implementations

impl ValueProxy

pub fn new(path: Path) -> ValueProxy

Creates a new RootValueProxy instance.

Trait Implementations

impl<'a> ComparableProxy for &'a ValueProxy

type Output = GenericFactoid<Arc<Tensor>>

impl ComparableProxy for ValueProxy

type Output = GenericFactoid<Arc<Tensor>>

impl Debug for ValueProxy

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

Formats the value using the given formatter.

impl Index<()> for ValueProxy

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

Returns the RootValueProxy corresponding to the given index.

type Output = IntProxy

The returned type after indexing.

impl Index<usize> for ValueProxy

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

Returns the ElementProxy corresponding to the given index.

type Output = ElementProxy

The returned type after indexing.

impl IntoExp<GenericFactoid<Arc<Tensor>>> for &ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

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

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl<'a> Proxy for &'a ValueProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for ValueProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.