Struct Database 

pub struct Database<'cx> { /* private fields */ }

Implementations

impl<'cx> Database<'cx>

pub fn new(interner: &'cx DroplessInterner) -> Self

pub fn gcx(&self) -> &GlobalCx<'cx>

pub fn terms(&self) -> NamedTermViewIter<'_, 'cx>

pub fn clauses(&self) -> ClauseIter<'_, 'cx>

pub fn insert_dataset(&mut self, dataset: ClauseDataset<Name<'cx>>)

pub fn insert_clause(&mut self, clause: Clause<Name<'cx>>)

pub fn query(&mut self, expr: Expr<Name<'cx>>) -> ProveCx<'_, 'cx>

pub fn commit(&mut self)

pub fn to_prolog<F: FnMut(&str) -> &str>(&self, sanitize: F) -> String

• sanitize - Removes unacceptable characters from prolog.

Trait Implementations

impl<'cx> Debug for Database<'cx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.