Trait chalk_engine::context::AggregateOps

pub trait AggregateOps<C: Context> {
    fn make_solution(
        &self, 
        root_goal: &C::UCanonicalGoalInEnvironment, 
        answers: impl AnswerStream<C>, 
        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: &C::UCanonicalGoalInEnvironment,
    answers: impl AnswerStream<C>,
    should_continue: impl Fn() -> bool
) -> Option<C::Solution>

Loading content...

Implementors

Loading content...