Struct tract_pulse::fact::PulsedFact

pub struct PulsedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub stream: Option<StreamInfo>,
}

Fields

datum_type: DatumType

shape: ShapeFact

stream: Option<StreamInfo>

Implementations

impl PulsedFact

pub fn from_tensor_fact_pulse( tf: &TypedFact, symbol: &Symbol, pulse: &TDim ) -> TractResult<PulsedFact>

pub fn pulse(&self) -> Option<&TDim>

pub fn to_pulse_fact(&self) -> TypedFact

pub fn streaming_shape(&self) -> TVec<TDim>

pub fn to_streaming_fact(&self) -> TypedFact

Trait Implementations

impl Clone for PulsedFact

fn clone(&self) -> PulsedFact

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PulsedFact

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

Formats the value using the given formatter.

impl Fact for PulsedFact

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

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

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

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

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

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

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

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

Converts to this type from the input type.

impl From<PulsedFact> for TypedFact

fn from(fact: PulsedFact) -> TypedFact

Converts to this type from the input type.

impl Hash for PulsedFact

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

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<PulsedFact> for PulsedFact

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

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

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

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

impl SpecialOps<PulsedFact, Box<dyn PulsedOp + 'static, Global>> for PulsedModel

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

fn create_source(&self, fact: PulsedFact) -> Box<dyn PulsedOp>

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

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

impl Eq for PulsedFact

impl StructuralEq for PulsedFact

impl StructuralPartialEq for PulsedFact