Struct SimpleProgram

pub struct SimpleProgram<'p> {
    pub bump: &'p Bump,
    pub ext_preds: Vec<PredicateSym<'p>>,
    pub rules: HashMap<PredicateSym<'p>, Vec<&'p Clause<'p>>>,
}

An implementation of the Program trait.

Fields

bump: &'p Bump

ext_preds: Vec<PredicateSym<'p>>

rules: HashMap<PredicateSym<'p>, Vec<&'p Clause<'p>>>

Implementations

impl<'p> SimpleProgram<'p>

pub fn add_clause(&mut self, clause: &Clause<'_>)

pub fn stratify( self, strata: impl Iterator<Item = &'p HashSet<&'p PredicateSym<'p>>>, ) -> SimpleStratifiedProgram<'p>

Produces a StratifiedProgram with given set of layers. TODO: write analysis that computes the set of layers.

Trait Implementations

impl<'p> Program<'p> for SimpleProgram<'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.