Trait FactStore 

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

A fact store that can be mutated. Implementations must make use of interior mutability.

Required Methods

fn add<'src>(&'a self, src: &'src Arena, fact: &'src Atom<'src>) -> 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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