Enum RCell 

pub enum RCell {
    Sum {
        inputs: Vec<RSrc>,
        weights: Vec<f64>,
    },
    Mul {
        a: RSrc,
        b: RSrc,
    },
    Gain {
        a: RSrc,
        k: f64,
    },
    Select {
        c: RSrc,
        t: RSrc,
        f: RSrc,
    },
    Exp {
        a: RSrc,
    },
    Log {
        a: RSrc,
    },
    Tanh {
        a: RSrc,
    },
    Sqrt {
        a: RSrc,
    },
    Div {
        a: RSrc,
        b: RSrc,
    },
}

The neutral cell vocabulary the checker replays. Mirrors (but does not import) the analog lane’s tile set; the producer converts its netlist into this form to be judged.

Variants

Sum

v = Σ wᵢ·xᵢ — weighted Kirchhoff sum.

Fields

inputs: Vec<RSrc>

weights: Vec<f64>

Mul

v = a·b — four-quadrant multiplier.

Fields

a: RSrc

b: RSrc

Gain

v = k·a — programmed constant gain.

Fields

a: RSrc

k: f64

Select

v = if c < 0 then t else f — comparator-driven switch. The replay rule is the decided branch when the condition’s box clears zero, else the branch HULL (the comparator’s ambiguity is an accuracy question for the budget, not a range one).

Fields

c: RSrc

t: RSrc

f: RSrc

Exp

v = eˣ — monotone image box (translinear).

Fields

a: RSrc

Log

v = ln x — monotone; a box touching the nonpositive axis is REJECTED, fail-closed.

Fields

a: RSrc

Tanh

v = tanh x — monotone.

Fields

a: RSrc

Sqrt

v = √x — monotone; a box touching zero is REJECTED (unbounded error slope).

Fields

a: RSrc

Div

v = a / b — the divisor’s box must CLEAR zero or the claim is rejected.

Fields

a: RSrc

b: RSrc

Trait Implementations

impl Clone for RCell

fn clone(&self) -> RCell

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RCell

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

Formats the value using the given formatter.

impl PartialEq for RCell

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for RCell