Module types 

Foundational types for weighted argumentation.

• AttackWeight — validated non-negative finite f64 wrapper.
• Budget — validated non-negative finite f64 wrapper for inconsistency-budget values.
• WeightedAttack — a directed attack edge carrying a weight.

Structs

AttackWeight

A non-negative finite attack weight. Constructed via Self::new, which rejects NaN, infinity, and negative values.

Budget

A non-negative finite inconsistency budget. Semantics: attacks whose cumulative weight is at most this value may be tolerated for the purposes of Dung semantics.

WeightedAttack

A weighted directed attack edge: attacker attacks target with the given weight.