Enum BodyAtom 

pub enum BodyAtom {
    Arg(usize),
    Assume {
        src: u16,
        domain: NumericDomain,
    },
    Unary {
        op: &'static str,
        src: u16,
    },
    Binary {
        op: &'static str,
        left: u16,
        right: u16,
    },
    Affine {
        src: u16,
        mul: f64,
        add: f64,
    },
}

One step in an audited library-op body. Step indices refer to earlier atoms in the same body.

Variants

Arg(usize)

Call-site argument (0 = first tensor operand).

Assume

Identity view that records an API-level domain fact (e.g. BCE targets ∈ [0, 1]).

Fields

src: u16

domain: NumericDomain

Unary

Fields

op: &'static str

src: u16

Binary

Fields

op: &'static str

left: u16

right: u16

Affine

tensor.affine(mul, add) with proven literal coefficients.

Fields

src: u16

mul: f64

add: f64

Trait Implementations

impl Clone for BodyAtom

fn clone(&self) -> BodyAtom

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BodyAtom

impl Debug for BodyAtom

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

Formats the value using the given formatter.

impl PartialEq for BodyAtom

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BodyAtom