Struct ValueAssignment 

pub struct ValueAssignment<A: Eq + Hash> { /* private fields */ }

Maps each argument to the set of values it promotes.

An empty set (or absent entry) means “promotes no value” — under VAF semantics such arguments defeat unconditionally (no value preference can save a target whose attacker promotes no value, and vice versa).

Multi-value support per Kaci & van der Torre (2008): an argument may promote several values simultaneously. Single-value (Bench-Capon 2003) is the degenerate case where every set has exactly one element.

Implementations

impl<A: Eq + Hash + Clone> ValueAssignment<A>

pub fn new() -> Self

Construct an empty assignment.

pub fn promote(&mut self, arg: A, value: Value) -> &mut Self

Add a value to the set of values promoted by arg. Returns &mut self for builder chaining.

pub fn values(&self, arg: &A) -> &[Value]

The set of values promoted by arg. Returns an empty slice if arg is not present (which is semantically the “no values” case).

pub fn entries(&self) -> impl Iterator<Item = (&A, &[Value])>

Iterator over (argument, values) entries.

pub fn distinct_values(&self) -> BTreeSet<&Value>

All distinct values mentioned anywhere in the assignment.

Trait Implementations

impl<A: Clone + Eq + Hash> Clone for ValueAssignment<A>

fn clone(&self) -> ValueAssignment<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug + Eq + Hash> Debug for ValueAssignment<A>

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

Formats the value using the given formatter.

impl<A: Eq + Hash> Default for ValueAssignment<A>

fn default() -> Self

Returns the “default value” for a type.