Struct TypedFact

pub struct TypedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub konst: Option<Arc<Tensor>>,
    pub uniform: Option<Arc<Tensor>>,
    pub opaque_fact: Option<Box<dyn OpaqueFact>>,
}

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

opaque_fact: Option<Box<dyn OpaqueFact>>

optional opaque fact

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_opaque_fact<O>(self, opaque_fact: O) -> TypedFact

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

pub fn opaque_fact(&self) -> Option<&(dyn OpaqueFact + 'static)>

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

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

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

Converts to this type from the input type.

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

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

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

fn from(t: Arc<Tensor>) -> 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 From<Tensor> for TypedFact

fn from(t: Tensor) -> TypedFact

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<T1, T2> Translate<TypedFact, Box<dyn TypedOp>, TypedFact, Box<dyn TypedOp>> for FloatPrecisionTranslator<T1, T2>

where T1: Datum + Float, T2: Datum + Float,

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

impl StructuralPartialEq for TypedFact