Trait RuleSpace 

pub trait RuleSpace<Q, S>: RawSpace
where
    Q: RawState,
{
    // Required method
    fn get(&self, head: &Head<Q, S>) -> Option<&Tail<Q, S>>
       where Q: PartialEq,
             S: PartialEq;
}

Required Methods

fn get(&self, head: &Head<Q, S>) -> Option<&Tail<Q, S>>

where Q: PartialEq, S: PartialEq,

Implementations on Foreign Types

impl<Q, A> RuleSpace<Q, A> for Vec<Rule<Q, A>>

where Q: RawState + PartialEq, A: PartialEq,

fn get(&self, key: &Head<Q, A>) -> Option<&Tail<Q, A>>

impl<Q, A> RuleSpace<Q, A> for HashMap<Head<Q, A>, Tail<Q, A>>

where Q: RawState + Eq + Hash, A: Eq + Hash,

fn get(&self, key: &Head<Q, A>) -> Option<&Tail<Q, A>>

Implementors