Trait chalk_recursive::solve::SolveDatabase

pub(crate) trait SolveDatabase<I: Interner>: Sized {
    // Required methods
    fn solve_goal(
        &mut self,
        goal: UCanonical<InEnvironment<Goal<I>>>,
        minimums: &mut Minimums,
        should_continue: impl Fn() -> bool + Clone
    ) -> Fallible<Solution<I>>;
    fn max_size(&self) -> usize;
    fn interner(&self) -> I;
    fn db(&self) -> &dyn RustIrDatabase<I>;
}

Required Methods

fn solve_goal( &mut self, goal: UCanonical<InEnvironment<Goal<I>>>, minimums: &mut Minimums, should_continue: impl Fn() -> bool + Clone ) -> Fallible<Solution<I>>

fn max_size(&self) -> usize

fn interner(&self) -> I

fn db(&self) -> &dyn RustIrDatabase<I>

Object Safety

This trait is not object safe.

Implementors

impl<'me, I: Interner> SolveDatabase<I> for Solver<'me, I>