Trait chalk_recursive::solve::SolveIteration
source · pub(crate) trait SolveIteration<I: Interner>: SolveDatabase<I> {
// Provided method
fn solve_iteration(
&mut self,
canonical_goal: &UCanonicalGoal<I>,
minimums: &mut Minimums,
should_continue: impl Fn() -> bool + Clone,
) -> Fallible<Solution<I>> { ... }
}
Expand description
The solve_iteration
method – implemented for any type that implements
SolveDb
.
Provided Methods§
sourcefn solve_iteration(
&mut self,
canonical_goal: &UCanonicalGoal<I>,
minimums: &mut Minimums,
should_continue: impl Fn() -> bool + Clone,
) -> Fallible<Solution<I>>
fn solve_iteration( &mut self, canonical_goal: &UCanonicalGoal<I>, minimums: &mut Minimums, should_continue: impl Fn() -> bool + Clone, ) -> Fallible<Solution<I>>
Executes one iteration of the recursive solver, computing the current solution to the given canonical goal. This is used as part of a loop in the case of cyclic goals.
Object Safety§
This trait is not object safe.