Struct TableStoreImpl

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

Implementations

impl<'a> TableStoreImpl<'a>

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

Trait Implementations

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

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

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

fn merge<'other, S>(&'a self, _store: &'other S)

where S: ReadOnlyFactStore<'other>,

Adds all facts from given store.

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

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

fn get( &'a self, query: &Atom<'_>, cb: impl FnMut(&'a Atom<'a>) -> Result<()>, ) -> Result<()>

fn list_predicates(&'a self, cb: impl FnMut(&'a PredicateSym<'_>))

fn estimate_fact_count(&self) -> u32