Trait tfdeploy::analyser::types::Fact

pub trait Fact: Debug + Clone + PartialEq + Default {
    type Concrete: Debug;
    fn concretize(&self) -> Option<Self::Concrete>;
    fn unify(&self, other: &Self) -> Result<Self>;

    fn is_concrete(&self) -> bool { ... }
}

Partial information about any value.

Associated Types

type Concrete: Debug

Required Methods

fn concretize(&self) -> Option<Self::Concrete>

Tries to transform the fact into a concrete value.

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

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

Provided Methods

fn is_concrete(&self) -> bool

Returns whether the value is fully determined.

Implementors

• impl Fact for TensorFact type Concrete = Tensor;

• impl<T: Debug + Clone + PartialEq> Fact for GenericFact<T> type Concrete = T;

• impl Fact for ShapeFact type Concrete = Vec<TDim>;