Module flatten 

Flattening: convert a BipolarFramework into an equivalent argumentation::ArgumentationFramework whose attack relation is the closed attack set from crate::derived::closed_attacks.

The flattened framework has the same node set as the bipolar framework. Every direct attack and every derived attack (supported, secondary, mediated) appears as a single edge in the flattened framework’s attack relation. Support edges are NOT represented in the flattened framework — they are handled at the semantics layer via the support-closure filter.

This is the abstraction that lets the rest of the crate reuse the core Dung semantics without re-implementing fixed-point equations.

Functions

flatten

Build a argumentation::ArgumentationFramework from a BipolarFramework whose attack relation is the closed attack set.