[−][src]Struct tract_core::analyser::rules::expr::VariableExp

pub struct VariableExp<T>(_, _)
 where
    T: Fact + Output + Clone + Debug;

A reference to a variable.

For instance, inputs[0].rank is a reference to the rank of the first input. Internally, a reference holds a Vec called a path (see the documentation for Proxy::get_path).

Trait Implementations

impl<T> TExp<T> for VariableExp<T> where
    T: Fact + Output + Clone + Debug, [src]

fn get(&self, context: &Context) -> TractResult<T>[src]

Returns the current value of the expression in the given context.

fn set(&self, context: &mut Context, value: T) -> TractResult<bool>[src]

Tries to set the value of the expression in the given context.

fn get_paths(&self) -> Vec<&Path>[src]

Returns the paths that the expression depends on.

impl<T> Debug for VariableExp<T> where
    T: Fact + Output + Clone + Debug, [src]

Auto Trait Implementations

impl<T> Unpin for VariableExp<T> where
    T: Unpin, 

impl<T> Sync for VariableExp<T> where
    T: Sync, 

impl<T> Send for VariableExp<T> where
    T: Send, 

impl<T> UnwindSafe for VariableExp<T> where
    T: UnwindSafe, 

impl<T> RefUnwindSafe for VariableExp<T> where
    T: RefUnwindSafe, 

Blanket Implementations

impl<T, E> IntoExp<T> for E where
    E: 'static + TExp<T>, [src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Downcast for T where
    T: Any, [src]