Enum tract_core::analyser::types::GenericFact

pub enum GenericFact<T: Debug + Clone + PartialEq> {
    Only(T),
    Any,
}

Partial information about a value of type T.

Variants

Only(T)Any

Trait Implementations

impl<T: Debug + Clone + PartialEq> Fact for GenericFact<T>

type Concrete = T

fn concretize(&self) -> Option<T>

Tries to transform the fact into a concrete value.

fn unify(&self, other: &Self) -> TractResult<Self>

Tries to unify the fact with another fact of the same type.

fn is_concrete(&self) -> bool

Returns whether the value is fully determined.

impl TExp<GenericFact<TDim>> for IntoDimExp

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

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

fn set(&self, context: &mut Context, value: DimFact) -> 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 IntoExp<GenericFact<DatumType>> for TypeProxy

fn bex(self) -> Exp<TypeFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<DatumType>> for &'a TypeProxy

fn bex(self) -> Exp<TypeFact>

Converts the value to an Expression.

impl IntoExp<GenericFact<DatumType>> for DatumType

fn bex(self) -> Exp<TypeFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<DatumType>> for &'a DatumType

fn bex(self) -> Exp<TypeFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<i32>> for &'a IntProxy

fn bex(self) -> Exp<IntFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<i32>> for &'a ElementProxy

fn bex(self) -> Exp<IntFact>

Converts the value to an Expression.

impl IntoExp<GenericFact<i32>> for i32

fn bex(self) -> Exp<IntFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<TDim>> for &'a DimProxy

fn bex(self) -> Exp<DimFact>

Converts the value to an Expression.

impl IntoExp<GenericFact<TDim>> for TDim

fn bex(self) -> Exp<DimFact>

Converts the value to an Expression.

impl IntoExp<GenericFact<SharedTensor>> for ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<SharedTensor>> for &'a ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl IntoExp<GenericFact<SharedTensor>> for SharedTensor

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl<T: Debug + Clone + PartialEq> From<T> for GenericFact<T>

fn from(t: T) -> Self

Performs the conversion.

impl<T: Copy + Clone + Debug + PartialEq> Copy for GenericFact<T>

impl<T: Debug + Clone + PartialEq> Default for GenericFact<T>

fn default() -> Self

Returns the "default value" for a type.

impl<T: PartialEq + Debug + Clone + PartialEq> PartialEq<GenericFact<T>> for GenericFact<T>

fn eq(&self, other: &GenericFact<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &GenericFact<T>) -> bool

This method tests for !=.

impl<T: Clone + Debug + Clone + PartialEq> Clone for GenericFact<T>

fn clone(&self) -> GenericFact<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + Clone + PartialEq> Debug for GenericFact<T>

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

Formats the value using the given formatter.

impl<T, I> Add<I> for GenericFact<T> where     T: Add<T, Output = T> + PartialEq + Copy + Clone + Debug,     I: Into<GenericFact<T>>,

type Output = GenericFact<T>

The resulting type after applying the + operator.

fn add(self, rhs: I) -> Self::Output

Performs the + operation.

impl<T> Sub<GenericFact<T>> for GenericFact<T> where     T: Sub<T, Output = T> + PartialEq + Copy + Clone + Debug,

type Output = GenericFact<T>

The resulting type after applying the - operator.

fn sub(self, rhs: GenericFact<T>) -> Self::Output

Performs the - operation.

impl<T, R> Mul<R> for GenericFact<T> where     T: Mul<R, Output = T> + PartialEq + Copy + Clone + Debug,

type Output = GenericFact<T>

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation.

impl<T, R> Div<R> for GenericFact<T> where     T: Div<R, Output = T> + PartialEq + Copy + Clone + Debug,

type Output = GenericFact<T>

The resulting type after applying the / operator.

fn div(self, rhs: R) -> Self::Output

Performs the / operation.

impl<T> Neg for GenericFact<T> where     T: Neg<Output = T> + PartialEq + Copy + Clone + Debug,

type Output = GenericFact<T>

The resulting type after applying the - operator.

fn neg(self) -> GenericFact<T>

Performs the unary - operation.

impl<T> Zero for GenericFact<T> where     T: Add<T, Output = T> + Zero + PartialEq + Copy + Clone + Debug,

fn zero() -> GenericFact<T>

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.