Struct mangle_analysis::SimpleStratifiedProgram

pub struct SimpleStratifiedProgram<'p> { /* private fields */ }

An implementation of the StratifiedProgram trait. This can be obtained through SimpleProgram::stratify.

Trait Implementations

impl<'p> Program<'p> for SimpleStratifiedProgram<'p>

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

Returns predicates for extensional DB. May return an empty iterator.

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

Returns predicates for intensional DB. May return an empty iterator.

fn rules( &'p self, sym: &'p PredicateSym<'p>, ) -> impl Iterator<Item = &'p Clause<'p>>

Maps predicates of intensional DB to rules. May return an empty iterator.

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

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).