Struct InferenceFact 

pub struct InferenceFact {
    pub datum_type: GenericFactoid<DatumType>,
    pub shape: ShapeFactoid,
    pub value: GenericFactoid<Arc<Tensor>>,
}

Partial information about a tensor.

The task of the analyser is to tag every edge in the graph with information about the tensors that flow through it - specifically their datum_type, their shape and possibly their value. During the analysis, however, we might only know some of that information (say, for instance, that an edge only carries tensors of rank 4, but without knowing their precise dimension).

This is where tensor facts come in: they hold partial information about the datum_type, shape and value of tensors that might flow through an edge of the graph. The analyser will first tag each edge with a fact, starting with the most general one and specializing it at each iteration. Eventually, it will reach a fixed point that - hopefully - holds enough information.

Fields

datum_type: GenericFactoid<DatumType>

shape: ShapeFactoid

value: GenericFactoid<Arc<Tensor>>

Implementations

impl InferenceFact

pub fn new() -> InferenceFact

Constructs the most general tensor fact possible.

pub fn any() -> InferenceFact

pub fn dt(dt: DatumType) -> InferenceFact

pub fn dt_shape<S>(dt: DatumType, shape: S) -> InferenceFact

where S: Into<ShapeFactoid>,

pub fn shape<S>(shape: S) -> InferenceFact

where S: Into<ShapeFactoid>,

pub fn with_datum_type(self, dt: DatumType) -> InferenceFact

pub fn without_datum_type(self) -> InferenceFact

pub fn with_shape<S>(self, shape: S) -> InferenceFact

where S: Into<ShapeFactoid>,

pub fn format_dt_shape(&self) -> String

pub fn dt_shape_from_tensor(t: &Tensor) -> InferenceFact

pub fn without_value(self) -> InferenceFact

Trait Implementations

impl Clone for InferenceFact

fn clone(&self) -> InferenceFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceFact

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for InferenceFact

fn default() -> InferenceFact

Returns the “default value” for a type.

impl Fact for InferenceFact

fn to_typed_fact(&self) -> Result<Cow<'_, TypedFact>, Error>

fn matches( &self, t: &Tensor, _symbols: Option<&SymbolValues>, ) -> Result<bool, Error>

fn same_as(&self, other: &(dyn Fact + 'static)) -> bool

fn compatible_with(&self, other: &(dyn Fact + 'static)) -> bool

Ensure that self is same type as another fact or a subtype

fn datum_type(&self) -> Option<DatumType>

impl Factoid for InferenceFact

fn concretize(&self) -> Option<<InferenceFact as Factoid>::Concrete>

Tries to transform the fact into a concrete value.

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

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

type Concrete = Arc<Tensor>

fn is_concrete(&self) -> bool

Returns whether the value is fully determined.

fn unify_with(&mut self, other: &Self) -> Result<bool, Error>

Tries to unify the fact with another fact of the same type and update self.

fn unify_with_mut(&mut self, other: &mut Self) -> Result<bool, Error>

Tries to unify the fact with another fact of the same type and update both of them.

fn unify_all(facts: &mut [&mut Self]) -> Result<bool, Error>

Tries to unify all facts in the list.

impl<'a> From<&'a Arc<Tensor>> for InferenceFact

fn from(t: &'a Arc<Tensor>) -> InferenceFact

Converts to this type from the input type.

impl<'a> From<&'a InferenceFact> for InferenceFact

fn from(t: &'a InferenceFact) -> InferenceFact

Converts to this type from the input type.

impl<'a> From<&'a TypedFact> for InferenceFact

fn from(t: &'a TypedFact) -> InferenceFact

Converts to this type from the input type.

impl From<Arc<Tensor>> for InferenceFact

fn from(t: Arc<Tensor>) -> InferenceFact

Converts to this type from the input type.

impl From<Tensor> for InferenceFact

fn from(t: Tensor) -> InferenceFact

Converts to this type from the input type.

impl From<TypedFact> for InferenceFact

fn from(t: TypedFact) -> InferenceFact

Converts to this type from the input type.

impl Hash for InferenceFact

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InferenceFact

fn eq(&self, other: &InferenceFact) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SpecialOps<InferenceFact, Box<dyn InferenceOp>> for Graph<InferenceFact, Box<dyn InferenceOp>>

fn is_source(op: &Box<dyn InferenceOp>) -> bool

fn create_dummy(&self) -> Box<dyn InferenceOp>

fn create_source(&self, _fact: InferenceFact) -> Box<dyn InferenceOp>

fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn InferenceOp>>, inputs: &[OutletId], ) -> Result<SmallVec<[OutletId; 4]>, Error>

fn add_const( &mut self, name: impl Into<String>, v: impl IntoArcTensor, ) -> Result<OutletId, Error>

impl TryFrom<&InferenceFact> for TypedFact

type Error = Error

The type returned in the event of a conversion error.

fn try_from(fact: &InferenceFact) -> Result<TypedFact, Error>

Performs the conversion.

impl Eq for InferenceFact

impl StructuralPartialEq for InferenceFact