Struct tract_core::model::TypedFact

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

Fully determined tensor information for TypedModel.

Fields

datum_type: DatumType

tensor element type

shape: ShapeInfo

tensor shape

konst: Option<Arc<Tensor>>

optional constant value

Methods

impl TypedFact

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

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

Trait Implementations

impl Translate<InferenceFact, Box<dyn InferenceOp + 'static>, TypedFact, Box<dyn TypedOp + 'static>, ()> for Box<dyn InferenceOp>

fn translate(
    &self,
    source: &InferenceModel,
    node: &InferenceNode,
    target: &mut TypedModel,
    mapping: &HashMap<OutletId, OutletId>,
    _ctx: &()
) -> TractResult<TVec<OutletId>>

impl Translate<PulsedFact, Box<dyn PulsedOp + 'static>, TypedFact, Box<dyn TypedOp + 'static>, ()> for Box<dyn PulsedOp>

fn translate(
    &self,
    _source: &PulsedModel,
    node: &PulsedNode,
    target: &mut TypedModel,
    mapping: &HashMap<OutletId, OutletId>,
    _ctx: &()
) -> TractResult<TVec<OutletId>>

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

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

Adds a source op to the network.

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

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

fn wire_node(
    &mut self,
    name: impl Into<String>,
    op: impl Into<Box<dyn TypedOp>>,
    inputs: &[OutletId]
) -> TractResult<TVec<OutletId>>

impl Fact for TypedFact

fn to_tensor_fact(&self) -> InferenceFact

Convert to InferenceFact, the most accomoding variant of Fact.

impl From<Tensor> for TypedFact

fn from(t: Tensor) -> TypedFact

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 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 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 Debug for TypedFact

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

Formats the value using the given formatter.

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 TryFrom<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 TryFrom<TypedFact> for NormalizedFact

type Error = TractError

The type returned in the event of a conversion error.

fn try_from(fact: TypedFact) -> TractResult<NormalizedFact>

Performs the conversion.

impl TryFrom<NormalizedFact> for TypedFact

type Error = TractError

The type returned in the event of a conversion error.

fn try_from(fact: NormalizedFact) -> TractResult<TypedFact>

Performs the conversion.

impl TryFrom<PulsedFact> for TypedFact

type Error = TractError

The type returned in the event of a conversion error.

fn try_from(fact: PulsedFact) -> TractResult<TypedFact>

Performs the conversion.

impl StructuralPartialEq for TypedFact