Struct StratificationResult 

pub struct StratificationResult {
    pub sccs: Vec<Vec<String>>,
    pub non_monotone_sccs: HashSet<usize>,
    pub strata: HashMap<String, usize>,
}

Result of stratification analysis for probabilistic inference

Fields

sccs: Vec<Vec<String>>

SCCs in evaluation order (dependencies first)

non_monotone_sccs: HashSet<usize>

Indices of SCCs that have cycles through negation (non-monotone)

strata: HashMap<String, usize>

Stratum number for each predicate (if fully stratified)

Trait Implementations

impl Clone for StratificationResult

fn clone(&self) -> StratificationResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StratificationResult

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

Formats the value using the given formatter.