Trait chalk_engine::context::Aggregate

pub trait Aggregate<C: Context> {
    fn make_solution<impl IntoIterator>: IntoIterator<Item = SimplifiedAnswer<C>>>(
        &self, 
        root_goal: &C::CanonicalGoalInEnvironment, 
        simplified_answers: impl IntoIterator>
    ) -> Option<C::Solution>;
}

Required Methods

fn make_solution<impl IntoIterator>: IntoIterator<Item = SimplifiedAnswer<C>>>(
    &self,
    root_goal: &C::CanonicalGoalInEnvironment,
    simplified_answers: impl IntoIterator>
) -> Option<C::Solution>

Implementors