Trait FactStore 

pub trait FactStore<'a>: ReadOnlyFactStore<'a> {
    // Required methods
    fn add(&'a self, fact: &Atom<'_>) -> Result<bool>;
    fn merge<'other, S>(&'a self, store: &'other S)
       where S: ReadOnlyFactStore<'other>;
}

Required Methods

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.

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> FactStore<'a> for TableStoreImpl<'a>