Struct KappaSaturatedModel 

pub struct KappaSaturatedModel {
    pub model_name: String,
    pub internal_sets: Vec<Vec<usize>>,
    pub domain_size: usize,
}

A κ-saturated model approximation: tracks a family of internal sets and checks the finite intersection property (FIP).

Fields

model_name: String

Label describing which κ-saturated model this represents.

internal_sets: Vec<Vec<usize>>

Internal sets in this model (represented as index sets over a hyperfinite domain).

domain_size: usize

The domain size (hyperfinite cardinality N).

Implementations

impl KappaSaturatedModel

pub fn new(model_name: &str, domain_size: usize) -> Self

Create a new κ-saturated model with given domain size.

pub fn add_internal_set(&mut self, set: Vec<usize>)

Add an internal set (as a set of indices).

pub fn has_fip(&self) -> bool

Check the finite intersection property for the current family of internal sets. Returns true if every finite sub-family has a non-empty intersection.

pub fn fip_witness(&self) -> Option<usize>

If the family has FIP, return a witness element (element in all sets), else None.

pub fn saturation_description(&self) -> String

Describe the saturation level of this model.