Trait RuleStore 

pub trait RuleStore<A, P>: Default
where
    A: Action<Single>,
    P: PredicateInner,
{
    // Required methods
    fn insert(&mut self, rule: Rc<Rule<P, A>>);
    fn delete(&mut self, rule: &Rc<Rule<P, A>>);
    fn clear(&mut self);
    fn search<'a, 'b>(
        &'a self,
        rule: &'b Rc<Rule<P, A>>,
    ) -> impl Clone + DoubleEndedIterator
       where A: 'a,
             P: 'a;
}

Storage of rules.

Required Methods

fn insert(&mut self, rule: Rc<Rule<P, A>>)

fn delete(&mut self, rule: &Rc<Rule<P, A>>)

fn clear(&mut self)

fn search<'a, 'b>( &'a self, rule: &'b Rc<Rule<P, A>>, ) -> impl Clone + DoubleEndedIterator

where A: 'a, P: 'a,

Return a clonable, sorted, double-ended iterator of rules that MAY overlap with the given rule.

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

impl<A, P> RuleStore<A, P> for SimpleRuleStore<A, P>

where A: Action<Single>, P: PredicateInner,

impl<A, P> RuleStore<A, P> for TPTRuleStore<A, P>

where A: Action<Single>, P: PredicateInner,