Trait chalk_engine::context::AggregateOps

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

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
) -> Option<C::Solution>

Loading content...

Implementors

Loading content...