[−][src]Enum tract_core::analyser::types::GenericFact
Partial information about a value of type T.
Variants
Only(T)
Any
Trait Implementations
impl<T: Debug + Clone + PartialEq> Fact for GenericFact<T>
[src]
type Concrete = T
fn concretize(&self) -> Option<T>
[src]
Tries to transform the fact into a concrete value.
fn unify(&self, other: &Self) -> TractResult<Self>
[src]
Tries to unify the fact with another fact of the same type.
fn is_concrete(&self) -> bool
[src]
Returns whether the value is fully determined.
impl TExp<GenericFact<TDim>> for IntoDimExp
[src]
fn get(&self, context: &Context) -> TractResult<DimFact>
[src]
Returns the current value of the expression in the given context.
fn set(&self, context: &mut Context, value: DimFact) -> 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 IntoExp<GenericFact<DatumType>> for TypeProxy
[src]
impl<'a> IntoExp<GenericFact<DatumType>> for &'a TypeProxy
[src]
impl IntoExp<GenericFact<DatumType>> for DatumType
[src]
impl<'a> IntoExp<GenericFact<DatumType>> for &'a DatumType
[src]
impl<'a> IntoExp<GenericFact<i32>> for &'a IntProxy
[src]
impl<'a> IntoExp<GenericFact<i32>> for &'a ElementProxy
[src]
impl IntoExp<GenericFact<i32>> for i32
[src]
impl<'a> IntoExp<GenericFact<TDim>> for &'a DimProxy
[src]
impl IntoExp<GenericFact<TDim>> for TDim
[src]
impl IntoExp<GenericFact<Arc<Tensor>>> for ValueProxy
[src]
impl<'a> IntoExp<GenericFact<Arc<Tensor>>> for &'a ValueProxy
[src]
impl IntoExp<GenericFact<Arc<Tensor>>> for Arc<Tensor>
[src]
impl<T: Copy + Clone + Debug + PartialEq> Copy for GenericFact<T>
[src]
impl<T: PartialEq + Debug + Clone + PartialEq> PartialEq<GenericFact<T>> for GenericFact<T>
[src]
fn eq(&self, other: &GenericFact<T>) -> bool
[src]
fn ne(&self, other: &GenericFact<T>) -> bool
[src]
impl<T: Debug + Clone + PartialEq> Default for GenericFact<T>
[src]
impl<T: Clone + Debug + Clone + PartialEq> Clone for GenericFact<T>
[src]
fn clone(&self) -> GenericFact<T>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<T: Debug + Clone + PartialEq> From<T> for GenericFact<T>
[src]
impl<T: Debug + Clone + PartialEq> Debug for GenericFact<T>
[src]
impl<T> Sub<GenericFact<T>> for GenericFact<T> where
T: Sub<T, Output = T> + PartialEq + Copy + Clone + Debug,
[src]
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
[src]
impl<T, R> Div<R> for GenericFact<T> where
T: Div<R, Output = T> + PartialEq + Copy + Clone + Debug,
[src]
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
[src]
impl<T, I> Add<I> for GenericFact<T> where
T: Add<T, Output = T> + PartialEq + Copy + Clone + Debug,
I: Into<GenericFact<T>>,
[src]
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
[src]
impl<T, R> Mul<R> for GenericFact<T> where
T: Mul<R, Output = T> + PartialEq + Copy + Clone + Debug,
[src]
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
[src]
impl<T> Neg for GenericFact<T> where
T: Neg<Output = T> + PartialEq + Copy + Clone + Debug,
[src]
T: Neg<Output = T> + PartialEq + Copy + Clone + Debug,
type Output = GenericFact<T>
The resulting type after applying the -
operator.
fn neg(self) -> GenericFact<T>
[src]
impl<T> Zero for GenericFact<T> where
T: Add<T, Output = T> + Zero + PartialEq + Copy + Clone + Debug,
[src]
T: Add<T, Output = T> + Zero + PartialEq + Copy + Clone + Debug,
Auto Trait Implementations
impl<T> Send for GenericFact<T> where
T: Send,
T: Send,
impl<T> Sync for GenericFact<T> where
T: Sync,
T: Sync,
Blanket Implementations
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
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,
fn into_any(self: Box<T>) -> Box<dyn Any + 'static>
[src]
fn as_any(&self) -> &(dyn Any + 'static)
[src]
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
[src]
impl<T> Clone for T where
T: Clone,
[src]
T: Clone,