Skip to main content

ReadOnlyFactStore

mangle_common

Trait ReadOnlyFactStore 

Source 
pub trait ReadOnlyFactStore<'a> {
    // Required methods
    fn arena(&'a self) -> &'a Arena;
    fn contains<'src>(
        &'a self,
        src: &'src Arena,
        fact: &'src Atom<'src>,
    ) -> Result<bool>;
    fn get<'query, R: Receiver<'a>>(
        &'a self,
        query_sym: PredicateIndex,
        query_args: &'query [&'query BaseTerm<'query>],
        cb: &R,
    ) -> Result<()>;
    fn predicates(&'a self) -> Vec<PredicateIndex>;
    fn estimate_fact_count(&self) -> u32;
}
Expand description

Lifetime ’a is used for data held by this store.

Required Methods§

Source

fn arena(&'a self) -> &'a Arena

Source

fn contains<'src>( &'a self, src: &'src Arena, fact: &'src Atom<'src>, ) -> Result<bool>

Source

fn get<'query, R: Receiver<'a>>( &'a self, query_sym: PredicateIndex, query_args: &'query [&'query BaseTerm<'query>], cb: &R, ) -> Result<()>

Source

fn predicates(&'a self) -> Vec<PredicateIndex>

Source

fn estimate_fact_count(&self) -> u32

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§