Struct AddMultProb 

pub struct AddMultProb {
    pub probability_epsilon: f64,
}

(plus = noisy-OR, times = product, negate = 1 - p).

Stateful: carries probability_epsilon, the threshold below which times switches into log-space accumulation to avoid floating-point underflow (spec §5.3). This keeps the underflow guard inside the semiring rather than scattering it across executors.

Fields

probability_epsilon: f64

Implementations

impl AddMultProb

pub fn new(probability_epsilon: f64) -> Self

Trait Implementations

impl Clone for AddMultProb

fn clone(&self) -> AddMultProb

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AddMultProb

impl Debug for AddMultProb

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

Formats the value using the given formatter.

impl Default for AddMultProb

fn default() -> Self

Returns the “default value” for a type.

impl LocySemiring for AddMultProb

type Tag = f64

The per-tuple tag type. For the two Phase-A semirings this is f64; C0’s TopKProofs will carry a proof-DNF tag.

fn kind(&self) -> SemiringKind

fn zero_disjunction(&self) -> f64

Identity for plus — 0.0 for both Phase-A semirings.

fn one_conjunction(&self) -> f64

Identity for times — 1.0 for both Phase-A semirings.

fn plus(&self, a: &f64, b: &f64) -> f64

Disjunction. MNOR / proof-OR.

fn times(&self, a: &f64, b: &f64) -> f64

Conjunction. MPROD / proof-AND.

fn negate(&self, a: &f64) -> Result<f64, SemiringError>

Complement (1 - p conventionally). May return SemiringError::NotSupported for semirings whose tags do not admit a complement.

fn weight(&self, a: &f64) -> f64

Collapse a tag to a probability in [0, 1].

fn validate_domain( &self, raw: f64, op: &'static str, strict: bool, ) -> Result<f64, SemiringError>

Domain-check a raw scalar before feeding it to plus / times. Returns the clamped value, or DomainViolation when strict is set and raw falls outside [0, 1]. Emits the same tracing literal ("MNOR input ..." / "MPROD input ...") used in the pre-refactor code so any string-asserting tests remain stable.

fn is_row_at_a_time(&self) -> bool

Whether this semiring composes pointwise via plus and times. Returns true for AddMultProb and MaxMinProb; false for whole-group semirings such as BddExact which are dispatched outside this trait.