Struct BuildOutput 

pub struct BuildOutput {
    pub arguments: Vec<Argument>,
    pub attacks: Vec<Attack>,
    pub framework: ArgumentationFramework<ArgumentId>,
    pub rules: Vec<Rule>,
}

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.

Fields

arguments: Vec<Argument>

All arguments constructed from the knowledge base and rule set.

attacks: Vec<Attack>

All attacks between those arguments (before defeat resolution).

framework: ArgumentationFramework<ArgumentId>

The abstract framework with edges for defeats (post-preference).

rules: Vec<Rule>

Copy of the rule set used to construct the arguments. Retained for post-hoc analyses like Self::check_postulates.

Implementations

impl BuildOutput

pub fn conclusions_in( &self, extension: &HashSet<ArgumentId>, ) -> HashSet<&Literal>

Return the conclusions of every argument in the given extension.

Useful for mapping a HashSet<ArgumentId> back to user-visible literal content without manually walking self.arguments.

pub fn argument_by_conclusion(&self, literal: &Literal) -> Option<&Argument>

Return the first argument whose conclusion equals literal, if any.

When multiple arguments share a conclusion (e.g. two rules yielding the same literal), this returns the first one in construction order. Use Self::arguments_with_conclusion if you need all of them.

pub fn arguments_with_conclusion(&self, literal: &Literal) -> Vec<&Argument>

Return every argument whose conclusion equals literal.

pub fn check_postulates( &self, extension: &HashSet<ArgumentId>, ) -> PostulateReport

Check the Caminada-Amgoud rationality postulates against a given extension. Returns a super::postulates::PostulateReport listing any violations.

A clean report (empty violations) means the extension satisfies sub-argument closure, closure under strict rules, direct consistency, and indirect consistency.

Trait Implementations

impl Debug for BuildOutput

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.