Struct ValueArgumentationFramework 

pub struct ValueArgumentationFramework {
    pub af: ArgumentationFramework,
    pub value_of: HashMap<u64, u64>,
    pub value_rank: HashMap<u64, u32>,
}

A Dung framework augmented with a value per argument and an audience preference over values.

Fields

af: ArgumentationFramework

value_of: HashMap<u64, u64>

argument id → its value (e.g. a human-rights principle hash).

value_rank: HashMap<u64, u32>

value → audience preference rank (higher = more important / more preferred).

Implementations

impl ValueArgumentationFramework

pub fn new(af: ArgumentationFramework) -> Self

pub fn set_value(&mut self, arg: u64, value: u64)

Assign argument arg the value value.

pub fn set_rank(&mut self, value: u64, rank: u32)

Set the audience preference rank for value (higher = more preferred).

pub fn defeats(&self, attacker: u64, target: u64) -> bool

An attack attacker → target defeats target iff rank(value(attacker)) >= rank(value(target)) — an attack from a less-preferred value cannot defeat a more-preferred (e.g. non-derogable rights) argument.

pub fn defeat_framework(&self) -> ArgumentationFramework

Project to the Dung framework of successful defeats (attacks that pass the value test).

pub fn grounded_extension(&self) -> HashSet<u64>

Grounded extension under the audience’s value preference.

pub fn preferred_extensions(&self) -> Vec<HashSet<u64>>

Preferred extensions under the audience’s value preference.

Trait Implementations

impl Clone for ValueArgumentationFramework

fn clone(&self) -> ValueArgumentationFramework

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueArgumentationFramework

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

Formats the value using the given formatter.