Struct MultiAudience 

pub struct MultiAudience<'a> { /* private fields */ }

Query operations over a set of audiences.

Implementations

impl<'a> MultiAudience<'a>

pub fn new(audiences: &'a [Audience]) -> Self

Construct from a slice of audiences. Empty slice means “no audiences” — every argument is trivially accepted under the empty universal quantifier (common_extensions returns the union of arguments).

pub fn audiences(&self) -> &[Audience]

Borrow the underlying audiences.

pub fn common_credulous<A>( &self, vaf: &ValueBasedFramework<A>, ) -> Result<HashSet<A>, Error>

where A: Clone + Eq + Hash + Ord + Debug,

Returns the set of arguments that are credulously accepted (i.e., in some preferred extension) under every audience in the set.

This is the consensus answer: which proposals survive regardless of which character’s value ordering you adopt? Useful for council / jury / cabinet narrative queries.

pub fn common_grounded<A>( &self, vaf: &ValueBasedFramework<A>, ) -> Result<HashSet<A>, Error>

where A: Clone + Eq + Hash + Ord + Debug,

Returns the set of arguments grounded under every audience in the set. Strictly stronger than common_credulous — the consensus among the most cautious answers from each character.