Trait mangle_analysis::StratifiedProgram

pub trait StratifiedProgram<'p>: Program<'p> {
    // Required methods
    fn strata(
        &'p self,
    ) -> impl Iterator<Item = &'p HashSet<&'p PredicateSym<'p>>>;
    fn pred_to_index(&'p self, sym: &PredicateSym<'_>) -> Option<usize>;
}

Required Methods

fn strata(&'p self) -> impl Iterator<Item = &'p HashSet<&'p PredicateSym<'p>>>

Returns an iterator of strata, in dependency order. TODO: consider Iterator<Iterator>.

fn pred_to_index(&'p self, sym: &PredicateSym<'_>) -> Option<usize>

Returns the stratum (index into strata list).

Object Safety

This trait is not object safe.

Implementors

impl<'p> StratifiedProgram<'p> for SimpleStratifiedProgram<'p>