Trait chalk_recursive::solve::SolveDatabase
source · 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.