Struct FrontierSupport 

pub struct FrontierSupport { /* private fields */ }

Frontier support: the set of contexts where the discord assignment is non-empty.

Per Theorem 4, this set is upward closed under context refinement when every detector in the underlying registry is monotone.

Implementations

impl FrontierSupport

pub fn contains(&self, context: &str) -> bool

Whether context is in the support.

pub fn len(&self) -> usize

Number of contexts.

pub fn is_empty(&self) -> bool

Whether the support is empty.

pub fn iter(&self) -> impl Iterator<Item = &ContextId>

Iterate contexts in canonical order.

pub fn is_upward_closed<R: ContextRefinement>( &self, refinement: &R, universe: &[ContextId], ) -> bool

Whether this support is upward closed under the given refinement relation.

Returns true iff for every c_prime in the support and every c in universe with c_prime -> c, c is also in the support.

This is the empirical Theorem 4 check: given a refinement relation and the set of contexts the assignment was built over, verify that the support set has the upward-closed property the theorem predicts.

Trait Implementations

impl Clone for FrontierSupport

fn clone(&self) -> FrontierSupport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FrontierSupport

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

Formats the value using the given formatter.

impl Default for FrontierSupport

fn default() -> FrontierSupport

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FrontierSupport

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for FrontierSupport

fn eq(&self, other: &FrontierSupport) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FrontierSupport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for FrontierSupport

impl StructuralPartialEq for FrontierSupport