Enum ApplicationSet 

pub enum ApplicationSet {
    F32(TypedTensor<f32, DynRank, Host>),
    F64(TypedTensor<f64, DynRank, Host>),
    Df64(TypedTensor<Df64, DynRank, Host>),
}

Value enum for the set the application declares.

Examples

use tenferro_df64_proof::Df64;
use tenferro_scalar_consumer_application::{ApplicationSet, ApplicationTag};
use tenferro_tensor::{DynRank, Host, ScalarSet, TypedTensor};

let value = ApplicationSet::Df64(
    TypedTensor::<_, DynRank, Host>::from_host_vec_col_major(vec![1], vec![Df64::from_f64(2.0)])?,
);
assert_eq!(value.tag(), ApplicationTag::Df64);

Variants

F32(TypedTensor<f32, DynRank, Host>)

Standard single precision.

F64(TypedTensor<f64, DynRank, Host>)

Standard double precision.

Df64(TypedTensor<Df64, DynRank, Host>)

The contribution’s extended-precision scalar, ranked above double precision.

Trait Implementations

impl Clone for ApplicationSet

fn clone(&self) -> ApplicationSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ApplicationSet

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

Formats the value using the given formatter.

impl ScalarSet for ApplicationSet

const TAGS: &'static [Self::Tag]

Tags of every member, in declaration order.

type Tag = ApplicationTag

Tag identifying one member of this set.

fn tag(&self) -> Self::Tag

Tag of the member this value currently holds.

fn promote(lhs: Self::Tag, rhs: Self::Tag) -> Self::Tag

Promote two members of this set to the member that represents both.