Struct Solver 

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

Implementations

impl<'a> Solver<'a>

pub fn new( db: &'a CompiledDatabase, goals: Vec<Term>, query_vars: FnvHashMap<String, VarId>, ) -> Self

Create a new solver for a query against a compiled database.

pub fn with_limit(self, limit: usize) -> Self

pub fn with_max_depth(self, max_depth: usize) -> Self

pub fn interner(&self) -> &StringInterner

Get the solver’s interner (includes any runtime-created atoms).

pub fn next(&mut self) -> SolveResult

Get the next solution (or failure/error).

pub fn all_solutions(self) -> Result<Vec<Solution>, String>

Enumerate all solutions.

pub fn all_solutions_with_interner( self, ) -> Result<(Vec<Solution>, StringInterner), String>

Enumerate all solutions, returning the interner for term display.