Struct FixedRuntimeJet 

pub struct FixedRuntimeJet<S, const K: usize> { /* private fields */ }

Adapter that presents any const-generic JetScalar<K> through the runtime-dimension interface. It is used by derivative oracles so the same row program can be instantiated at a fixed tower and at a dynamic packed scalar; production code unwraps the inner fixed tower after evaluation.

Implementations

impl<S, const K: usize> FixedRuntimeJet<S, K>

pub fn into_inner(self) -> S

Recover the wrapped const-generic scalar.

Trait Implementations

impl<S: Clone, const K: usize> Clone for FixedRuntimeJet<S, K>

fn clone(&self) -> FixedRuntimeJet<S, K>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Copy, const K: usize> Copy for FixedRuntimeJet<S, K>

impl<S: Debug, const K: usize> Debug for FixedRuntimeJet<S, K>

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

Formats the value using the given formatter.

impl<'arena, S: JetScalar<K>, const K: usize> RuntimeJetScalar<'arena> for FixedRuntimeJet<S, K>

type Workspace = ()

Storage arena used by runtime-backed scalars. Fixed derivative oracles use the unit type because their storage is inline.

fn constant(c: f64, dimension: usize, (): &'arena Self::Workspace) -> Self

A constant in a dimension-primary algebra.

fn variable( x: f64, axis: usize, dimension: usize, (): &'arena Self::Workspace, ) -> Self

A seeded variable in a dimension-primary algebra.

fn dimension(&self) -> usize

Number of primary derivative axes carried by this scalar.

fn value(&self) -> f64

Value channel.

fn add(&self, o: &Self) -> Self

Exact truncated sum.

fn sub(&self, o: &Self) -> Self

Exact truncated difference.

fn mul(&self, o: &Self) -> Self

Exact truncated product.

fn neg(&self) -> Self

Negate every channel.

fn scale(&self, s: f64) -> Self

Scale every channel.

fn compose_unary(&self, d: [f64; 5]) -> Self

Exact unary composition from the certified derivative stack.

fn exp(&self) -> Self

e^self.

fn recip(&self) -> Self

1/self.