Module defeat 

StructuredSystem: the top-level ASPIC+ entry point.

Holds a knowledge base, a rule set, and a rule preference ordering, then constructs arguments, computes attacks, resolves defeats via the last-link principle, and emits a Dung AF.

Structs

BuildOutput

The combined output of building a StructuredSystem: constructed arguments, computed attacks, and the resulting abstract framework. Returned by StructuredSystem::build_framework so consumers can get all three from a single forward-chaining pass.

StructuredSystem

An ASPIC+ structured argumentation system.

Enums

DefeatOrdering

Defeat resolution ordering for ASPIC+.