Expand description
Foundational types for bipolar argumentation.
Structs§
- Coalition
Id - Identifier for a coalition detected via strongly-connected components
of the support graph. Coalition ids are assigned at detection time by
crate::coalition::detect_coalitionsand are only stable within a single call — they change if the framework is mutated.
Enums§
- Edge
Kind - Which kind of directed edge is in the framework: an attack (A defeats B) or a support (A is required for B under necessary-support semantics).