Enum SymbolicStatus 

pub enum SymbolicStatus {
    Available,
    ProvidedByHint,
    Lost {
        reason: Symbol,
    },
}

Whether a Func exposes an exact symbolic body, is differentiable through a named hint, or has lost its symbolic body for a named reason.

Variants

Available

A CAS body is available and can be inspected by symbolic tools.

ProvidedByHint

The function is native-only, but metadata names a differentiator that can handle it numerically or exactly outside the CAS path.

Lost

The function is native-only because symbolic information was lost.

Fields

reason: Symbol

The machine-readable reason for the loss.

Implementations

impl SymbolicStatus

pub fn native_only() -> Self

Reason used for ordinary native functions with no symbolic body.

pub fn mixed_native() -> Self

Reason used when arithmetic combines a symbolic body with a native-only body and must keep only the executable native result.

Trait Implementations

impl Clone for SymbolicStatus

fn clone(&self) -> SymbolicStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolicStatus

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

Formats the value using the given formatter.

impl Eq for SymbolicStatus

impl PartialEq for SymbolicStatus

fn eq(&self, other: &SymbolicStatus) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SymbolicStatus