Module types 

Edge types for weighted bipolar frameworks.

Re-exports WeightedAttack from argumentation-weighted and adds WeightedSupport, the support-relation counterpart.

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.

WeightedSupport

A weighted directed support edge: supporter supports supported with the given weight under necessary-support semantics.