Struct Df64ToF64 

pub struct Df64ToF64;

Narrow the externally defined scalar into a preset f64 tensor.

The low component participates and the result is rounded to nearest with ties to even, so this is not the truncation to the high component that reinterpreting the payload would give. Information the narrowing discards is not recovered later.

Examples

use tenferro_df64_proof::extension::Df64ToF64;
use tenferro_ad::extension::ExtensionOp;

assert_eq!(<Df64ToF64 as ExtensionOp>::output_count(&Df64ToF64), 1);

Trait Implementations

impl Clone for Df64ToF64

fn clone(&self) -> Df64ToF64

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Df64ToF64

impl Debug for Df64ToF64

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

Formats the value using the given formatter.

impl Default for Df64ToF64

fn default() -> Df64ToF64

Returns the “default value” for a type.

impl ExtensionOp for Df64ToF64

fn family_id(&self) -> &'static str

Stable, process-independent family identifier.

fn payload_hash(&self, _hasher: &mut dyn Hasher)

Hash the payload (everything except family_id).

fn payload_eq(&self, other: &dyn ExtensionOp) -> bool

Structural equality against another extension value.

fn clone_arc(&self) -> Arc<dyn ExtensionOp>

Deep-clone the payload behind an Arc.

fn as_any(&self) -> &dyn Any

Upcast this extension to &dyn Any for downcasting in payload_eq.

fn input_count(&self) -> usize

Number of primal inputs. MUST be constant for any given Arc<dyn ExtensionOp> value.

fn output_count(&self) -> usize

Number of outputs. MUST match the length of the vector returned by a successful Self::infer_output_meta call.

fn semantic_effects(&self) -> ExtensionEffectDeclaration<'_>

Declare observable semantic effects for this extension payload.

fn semantic_aliases(&self) -> ExtensionAliasDeclaration<'_>

Declare semantic output aliasing for this extension payload.

fn scalar_identity(&self) -> Option<&'static str>

Canonical identity of an externally defined scalar this operation carries.

fn infer_output_meta( &self, ctx: &mut ExtensionShapeContext<'_>, ) -> Result<Vec<(DType, Vec<SymDim>)>>

Infer output dtypes and shapes for each output slot.

fn lower_to_standard_ops( &self, _builder: &mut GraphBuilder<StdTensorOp>, _inputs: &[ValueRef<StdTensorOp>], _input_dtypes: &[DType], _input_shapes: &[&[SymDim]], ) -> Result<ExtensionStandardLowering, ExtensionLoweringError>

Try to expand this extension into standard tensor graph operations.

fn prune_outputs(&self, _live_outputs: &[bool]) -> Option<Arc<dyn ExtensionOp>>

Optionally return an equivalent op that produces only live outputs.