[−][src]Struct tract_core::analyser::rules::expr::Exp
Trait Implementations
impl<T: Fact + Output + Clone + Debug> TExp<T> for Exp<T>
[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 ToDimExp for Exp<IntFact>
[src]
impl<T> Debug for Exp<T> where
T: Fact + Output + Clone + Debug,
[src]
T: Fact + Output + Clone + Debug,
impl<IE: IntoExp<IntFact>> Sub<IE> for Exp<IntFact>
[src]
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]
type Output = Exp<DimFact>
The resulting type after applying the -
operator.
fn sub(self, other: IE) -> Exp<DimFact>
[src]
impl<IE: IntoExp<IntFact>> Add<IE> for Exp<IntFact>
[src]
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]
type Output = Exp<DimFact>
The resulting type after applying the +
operator.
fn add(self, other: IE) -> Exp<DimFact>
[src]
impl Mul<Exp<GenericFact<i32>>> for i32
[src]
type 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]
Auto Trait Implementations
Blanket Implementations
impl<T, E> IntoExp<T> for E where
E: 'static + TExp<T>,
[src]
E: 'static + TExp<T>,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
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, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Downcast for T where
T: Any,
[src]
T: Any,