Struct Product 

pub struct Product;

Product (Goguen) algebra: the product t-norm a · b, with the probabilistic sum as its t-conorm. Negation is crisp.

Best for chains — multiplying degrees through hops propagates magnitude, distinguishing a long confident path from a short weak one.

Trait Implementations

impl Clone for Product

fn clone(&self) -> Product

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Product

impl Debug for Product

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

Formats the value using the given formatter.

impl Default for Product

fn default() -> Product

Returns the “default value” for a type.

impl Truth for Product

fn and(a: f32, b: f32) -> f32

Conjunction a ⊗ b (the t-norm). Used for AND and for combining a hop’s premise with its projected scores.

fn or(a: f32, b: f32) -> f32

Disjunction a ⊕ b (the t-conorm), the algebra’s standard dual of ⊗. Used for OR.

fn residuum(a: f32, b: f32) -> f32

The residuum a → b = sup { c : a ⊗ c ≤ b } — the Heyting implication.

fn top() -> f32

⊤, the top (fully true) degree. 1.0.

fn bot() -> f32

⊥, the bottom (false) degree. 0.0.

fn neg(a: f32) -> f32

Negation, the pseudo-complement ¬a = a → ⊥.