mangle_analysis

Trait StratifiedProgram

Source 
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§

Source

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

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

Source

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

Returns the stratum (index into strata list).

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§