Trait mangle_analysis::Program

pub trait Program<'p> {
    // Required methods
    fn extensional_preds(&'p self) -> impl Iterator<Item = &'p PredicateSym<'p>>;
    fn intensional_preds(&'p self) -> impl Iterator<Item = &'p PredicateSym<'p>>;
    fn rules(
        &'p self,
        sym: &'p PredicateSym<'p>,
    ) -> impl Iterator<Item = &'p Clause<'p>>;
}

Represents a program. extensional_preds and intensional_preds are disjoint.

Required Methods

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.

Object Safety

This trait is not object safe.

Implementors

impl<'p> Program<'p> for SimpleProgram<'p>

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