Struct TableStoreImpl 

pub struct TableStoreImpl<'a> { /* private fields */ }

Implementations

impl<'a> TableStoreImpl<'a>

pub fn new(arena: &'a Arena, schema: &'a TableStoreSchema<'a>) -> Self

Trait Implementations

impl<'a> FactStore<'a> for TableStoreImpl<'a>

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

Returns true if fact did not exist before. The fact is copied.

fn merge<'src, S>(&'a self, _src: &'src Arena, _store: &'src S)

where S: ReadOnlyFactStore<'src>,

Adds all facts from given store.

impl<'a> ReadOnlyFactStore<'a> for TableStoreImpl<'a>

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