Trait tract_hir::infer::rules::expr::TExp

pub trait TExp<T>: Debug {
    fn get(&self, context: &Context) -> TractResult<T>;
    fn set(&self, context: &mut Context, value: T) -> TractResult<bool>;
    fn get_paths(&self) -> Vec<&Path>;
}

An expression that can be compared by the solver.

Required methods

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.

Implementors

impl TExp<GenericFactoid<TDim>> for IntoDimExp

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

impl<T> TExp<T> for ScaledExp<T> where
    T: Factoid + Output + Zero + Mul<i64, Output = T> + Div<i64, Output = T> + Clone, 

impl<T> TExp<T> for SumExp<T> where
    T: Factoid + Output + Zero + Add<T> + Neg<Output = T> + Clone + Debug + 'static, 

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

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