[−][src]Struct tract_core::analyser::rules::expr::Exp
Trait Implementations
impl<T: Fact + Output + Clone + Debug> TExp<T> for Exp<T>[src]
impl<T: Fact + Output + Clone + Debug> TExp<T> for Exp<T>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 ToDimExp for Exp<IntFact>[src]
impl ToDimExp for Exp<IntFact>impl<T> Debug for Exp<T> where
T: Fact + Output + Clone + Debug, [src]
impl<T> Debug for Exp<T> where
T: Fact + Output + Clone + Debug, impl<IE: IntoExp<IntFact>> Add<IE> for Exp<IntFact>[src]
impl<IE: IntoExp<IntFact>> Add<IE> for Exp<IntFact>type Output = Exp<IntFact>
The resulting type after applying the + operator.
fn add(self, other: IE) -> Exp<IntFact> | [src] |
impl<IE: IntoExp<DimFact>> Add<IE> for Exp<DimFact>[src]
impl<IE: IntoExp<DimFact>> Add<IE> for Exp<DimFact>type Output = Exp<DimFact>
The resulting type after applying the + operator.
fn add(self, other: IE) -> Exp<DimFact> | [src] |
impl<IE: IntoExp<IntFact>> Sub<IE> for Exp<IntFact>[src]
impl<IE: IntoExp<IntFact>> Sub<IE> for Exp<IntFact>type Output = Exp<IntFact>
The resulting type after applying the - operator.
fn sub(self, other: IE) -> Exp<IntFact> | [src] |
impl<IE: IntoExp<DimFact>> Sub<IE> for Exp<DimFact>[src]
impl<IE: IntoExp<DimFact>> Sub<IE> for Exp<DimFact>type Output = Exp<DimFact>
The resulting type after applying the - operator.
fn sub(self, other: IE) -> Exp<DimFact> | [src] |
impl Mul<Exp<GenericFact<i32>>> for i32[src]
impl Mul<Exp<GenericFact<i32>>> for i32type Output = Exp<IntFact>
The resulting type after applying the * operator.
fn mul(self, other: Exp<IntFact>) -> Exp<IntFact> | [src] |
impl Mul<Exp<GenericFact<TDim>>> for i32[src]
impl Mul<Exp<GenericFact<TDim>>> for i32Auto Trait Implementations
Blanket Implementations
impl<T, E> IntoExp for E where
E: 'static + TExp<T>, [src]
impl<T, E> IntoExp for E where
E: 'static + TExp<T>, impl<PB, Tract> ToTract for PB where
Tract: Tractify<PB>, [src]
impl<PB, Tract> ToTract for PB where
Tract: Tractify<PB>, fn tractify(&Self) -> Result<Tract, TractError> | [src] |
impl<T> From for T[src]
impl<T> From for Timpl<T, U> Into for T where
U: From<T>, [src]
impl<T, U> Into for T where
U: From<T>, impl<T, U> TryFrom for T where
T: From<U>, [src]
impl<T, U> TryFrom for T where
T: From<U>, type Error = !
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error> | [src] |
impl<T> Borrow for T where
T: ?Sized, [src]
impl<T> Borrow for T where
T: ?Sized, impl<T> BorrowMut for T where
T: ?Sized, [src]
impl<T> BorrowMut for T where
T: ?Sized, fn borrow_mut(&mut self) -> &mut T | [src] |
impl<T, U> TryInto for T where
U: TryFrom<T>, [src]
impl<T, U> TryInto for T where
U: TryFrom<T>, type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error> | [src] |
impl<T> Any for T where
T: 'static + ?Sized, [src]
impl<T> Any for T where
T: 'static + ?Sized, fn get_type_id(&self) -> TypeId | [src] |
impl<T> Downcast for T where
T: Any, [src]
impl<T> Downcast for T where
T: Any,