Struct Argument 

pub struct Argument {
    pub id: ArgumentId,
    pub conclusion: Literal,
    pub origin: Origin,
    pub sub_arguments: Vec<ArgumentId>,
}

An ASPIC+ argument.

Fields

id: ArgumentId

This argument’s id.

conclusion: Literal

The conclusion of the argument (the literal it supports).

origin: Origin

The origin of the argument: a premise (leaf) or a rule application.

sub_arguments: Vec<ArgumentId>

The ids of sub-arguments this argument depends on.

Implementations

impl Argument

pub fn is_premise(&self) -> bool

Whether this argument is a premise leaf.

pub fn top_rule_is_defeasible(&self, rules: &[Rule]) -> bool

Whether this argument ends in a defeasible rule application.

Trait Implementations

impl Clone for Argument

fn clone(&self) -> Argument

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Argument

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

Formats the value using the given formatter.