Trait chalk_engine::slg::aggregate::AggregateOps

pub trait AggregateOps<I: Interner> {
    // Required method
    fn make_solution(
        &self,
        root_goal: &UCanonical<InEnvironment<Goal<I>>>,
        answers: impl AnswerStream<I>,
        should_continue: impl Fn() -> bool + Clone,
    ) -> Option<Solution<I>>;
}

Methods for combining solutions to yield an aggregate solution.

Required Methods

fn make_solution( &self, root_goal: &UCanonical<InEnvironment<Goal<I>>>, answers: impl AnswerStream<I>, should_continue: impl Fn() -> bool + Clone, ) -> Option<Solution<I>>

Object Safety

This trait is not object safe.

Implementors

impl<I: Interner> AggregateOps<I> for SlgContextOps<'_, I>

Draws as many answers as it needs from answers (but no more!) in order to come up with a solution.