Struct TypedFact 

pub struct TypedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub konst: Option<Arc<Tensor>>,
    pub uniform: Option<Arc<Tensor>>,
    pub exotic_fact: Option<Box<dyn ExoticFact>>,
    pub uniform_tdim: Option<TDim>,
    pub region_of_interest: Option<TDim>,
}

Fully determined tensor information for TypedModel.

Fields

datum_type: DatumType

tensor element type

shape: ShapeFact

tensor shape

konst: Option<Arc<Tensor>>

optional constant value

uniform: Option<Arc<Tensor>>

optional uniform value

exotic_fact: Option<Box<dyn ExoticFact>>

optional exotic fact

uniform_tdim: Option<TDim>

Symbolic per-element value as a TDim expression, possibly involving coordinate symbols 🎯0,🎯1,… and/or model symbols. None means “unknown / not tracked”.

region_of_interest: Option<TDim>

Boolean TDim expression in coordinate symbols defining which positions in the tensor are relevant to downstream consumers. None means “all positions matter” (no demand annotation).

Implementations

impl TypedFact

pub fn scalar<T>() -> TypedFact

where T: Datum,

pub fn shape<T, S>(shape: S) -> TypedFact

where T: Datum, S: Into<ShapeFact>,

pub fn shape_and_dt_of(t: &Tensor) -> TypedFact

pub fn mem_size(&self) -> TDim

pub fn dt_scalar(datum_type: DatumType) -> TypedFact

pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact

where S: Into<ShapeFact>,

pub fn rank(&self) -> usize

pub fn format_dt_shape(&self) -> String

pub fn consistent(&self) -> Result<(), Error>

pub fn without_value(&self) -> TypedFact

pub fn with_exotic_fact<O>(self, exotic_fact: O) -> TypedFact

where O: Into<Box<dyn ExoticFact>>,

pub fn exotic_fact(&self) -> Option<&(dyn ExoticFact + 'static)>

pub fn is_exotic(&self) -> bool

pub fn is_plain(&self) -> bool

Trait Implementations

impl Clone for TypedFact

fn clone(&self) -> TypedFact

Returns a duplicate 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 Fact for TypedFact

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

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

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<'a> From<&'a TypedFact> for InferenceFact

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

Converts to this type from the input type.

impl From<&TypedFact> for TypedFact

fn from(fact: &TypedFact) -> TypedFact

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 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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TypedFact

fn eq(&self, other: &TypedFact) -> 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<TypedFact, Box<dyn TypedOp>> for Graph<TypedFact, Box<dyn TypedOp>>

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

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

fn create_source(&self, fact: TypedFact) -> Box<dyn TypedOp>

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

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

impl Translate<TypedFact, Box<dyn TypedOp>, TypedFact, Box<dyn TypedOp>> for FloatPrecisionTranslator

fn translate_node( &self, source: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>>, target: &mut Graph<TypedFact, Box<dyn TypedOp>>, mapping: &HashMap<OutletId, OutletId>, ) -> Result<SmallVec<[OutletId; 4]>, Error>

fn translate_model( &self, source: &Graph<TI1, O1>, ) -> Result<Graph<TI2, O2>, Error>

fn translate_model_with_mappings( &self, source: &Graph<TI1, O1>, ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId>), Error>

impl Translate<TypedFact, Box<dyn TypedOp>, TypedFact, Box<dyn TypedOp>> for SymbolValues

fn translate_node( &self, source: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>>, target: &mut Graph<TypedFact, Box<dyn TypedOp>>, mapping: &HashMap<OutletId, OutletId>, ) -> Result<SmallVec<[OutletId; 4]>, Error>

fn translate_model( &self, source: &Graph<TI1, O1>, ) -> Result<Graph<TI2, O2>, Error>

fn translate_model_with_mappings( &self, source: &Graph<TI1, O1>, ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId>), Error>

impl<'a> TryFrom<&'a Arc<Tensor>> for TypedFact

type Error = Error

The type returned in the event of a conversion error.

fn try_from(t: &'a Arc<Tensor>) -> Result<TypedFact, Error>

Performs the conversion.

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 TryFrom<Arc<Tensor>> for TypedFact

type Error = Error

The type returned in the event of a conversion error.

fn try_from(t: Arc<Tensor>) -> Result<TypedFact, Error>

Performs the conversion.

impl TryFrom<Tensor> for TypedFact

type Error = Error

The type returned in the event of a conversion error.

fn try_from(t: Tensor) -> Result<TypedFact, Error>

Performs the conversion.

impl Eq for TypedFact

impl StructuralPartialEq for TypedFact