Struct tract_core::analyser::rules::expr::Exp

pub struct Exp<T>(_);

Trait Implementations

impl<T: Factoid + Output + Clone + Debug> TExp<T> for Exp<T>

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

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

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

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

fn get_paths(&self) -> Vec<&Path>

Returns the paths that the expression depends on.

impl ToDimExp for Exp<IntFact>

fn to_dim(self) -> Exp<DimFact>

impl<T> Debug for Exp<T> where
    T: Factoid + Output + Clone + Debug, 

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

Formats the value using the given formatter.

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>

Performs the - operation.

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>

Performs the - operation.

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>

Performs the + operation.

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>

Performs the + operation.

impl Mul<Exp<GenericFact<i32>>> for i32

type Output = Exp<IntFact>

The resulting type after applying the * operator.

fn mul(self, other: Exp<IntFact>) -> Exp<IntFact>

Performs the * operation.

impl Mul<Exp<GenericFact<TDim>>> for i32

type Output = Exp<DimFact>

The resulting type after applying the * operator.

fn mul(self, other: Exp<DimFact>) -> Exp<DimFact>

Performs the * operation.