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

Methods for combining solutions to yield an aggregate solution.

Required Methods

Implementors

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