Struct tract_hir::internal::TypedFact

pub struct TypedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub konst: Option<Arc<Tensor>>,
}

Fully determined tensor information for TypedModel.

Fields

datum_type: DatumType

tensor element type

shape: ShapeFact

tensor shape

konst: Option<Arc<Tensor>>

optional constant value

Implementations

impl TypedFact

pub fn shape<T, S, E>(shape: S) -> Result<TypedFact, TractError> where
    S: TryInto<ShapeFact, Error = E>,
    T: Datum,
    TractError: From<E>, 

pub fn dt_shape<S, E>(
    datum_type: DatumType,
    shape: S
) -> Result<TypedFact, TractError> where
    S: TryInto<ShapeFact, Error = E>,
    TractError: From<E>, 

pub fn rank(&self) -> usize

pub fn format_dt_shape(&self) -> String

Trait Implementations

impl Clone for TypedFact

fn clone(&self) -> TypedFact

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypedFact

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

Formats the value using the given formatter.

impl DynHash for TypedFact

fn dyn_hash(&self, state: &mut dyn Hasher)

impl Fact for TypedFact

fn to_typed_fact(&self) -> Result<TypedFact, TractError>

fn matches(&self, t: &Tensor) -> Result<bool, TractError>

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

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

fn from(fact: &NormalizedFact) -> TypedFact

Performs the conversion.

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

fn from(fact: &'a PulsedFact) -> TypedFact

Performs the conversion.

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

fn from(fact: &TypedFact) -> TypedFact

Performs the conversion.

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

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

Performs the conversion.

impl<'t> From<&'t Tensor> for TypedFact

fn from(t: &'t Tensor) -> TypedFact

Performs the conversion.

impl From<Arc<Tensor>> for TypedFact

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

Performs the conversion.

impl From<Tensor> for TypedFact

fn from(t: Tensor) -> TypedFact

Performs the conversion.

impl Hash for TypedFact

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, 

Feeds a slice of this type into the given [Hasher].

impl ModelSpecialOps<TypedFact, Box<dyn TypedOp + 'static>> for ModelImpl<TypedFact, Box<dyn TypedOp + 'static>>

fn add_source(
    &mut self,
    name: impl Into<String>,
    fact: TypedFact
) -> Result<OutletId, TractError>

Adds a source op to the network.

fn is_source(op: &(dyn Op + 'static)) -> bool

fn create_dummy(&self) -> Box<dyn TypedOp + 'static>

impl ModelWireNode<TypedFact, Box<dyn TypedOp + 'static>> for ModelImpl<TypedFact, Box<dyn TypedOp + 'static>>

fn wire_node(
    &mut self,
    name: impl Into<String>,
    op: impl Into<Box<dyn TypedOp + 'static>>,
    inputs: &[OutletId]
) -> Result<SmallVec<[OutletId; 4]>, TractError>

impl PartialEq<TypedFact> for TypedFact

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

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

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

This method tests for !=.

impl StructuralPartialEq for TypedFact

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

type Error = TractError

The type returned in the event of a conversion error.

fn try_from(fact: &InferenceFact) -> TractResult<TypedFact>

Performs the conversion.

impl<'a> TryFrom<&'a TypedFact> for NormalizedFact

type Error = TractError

The type returned in the event of a conversion error.

fn try_from(fact: &TypedFact) -> Result<NormalizedFact, TractError>

Performs the conversion.