fn push_strand_pursuing_next_answer(
        &mut self,
        depth: StackIndex,
        strand: &mut Strand<'_, C, impl Context>,
        selected_subgoal: &SelectedSubgoal<C>,
    ) {
        let table = self.stack[depth].table;
        let mut selected_subgoal = selected_subgoal.clone();
        selected_subgoal.answer_index.increment();
        self.tables[table].push_strand(Self::canonicalize_strand_from(
            &mut *strand.infer,
            &strand.ex_clause,
            Some(selected_subgoal),
        ));
    }
/// Invoked when we have found a successful answer to the given
/// table. Queues up a strand to look for the *next* answer from
/// that table.
Invoked when we have found a successful answer to the given
table. Queues up a strand to look for the *next* answer from
that table.
Invoked when we have found a successful answer to the given table . Queues up a strand to look for the * next * answer from that table .
fn push_strand_pursuing_next_answer(
        &mut self,
        depth: StackIndex,
        strand: &mut Strand<'_, C, impl Context>,
        selected_subgoal: &SelectedSubgoal<C>,
    ) {
        let table = self.stack[depth].table;
        let mut selected_subgoal = selected_subgoal.clone();
        selected_subgoal.answer_index.increment();
        self.tables[table].push_strand(Self::canonicalize_strand_from(
            &mut *strand.infer,
            &strand.ex_clause,
            Some(selected_subgoal),
        ));
    }
fn push_strand_pursuing_next_answer ( & mut self , depth : StackIndex , strand : & mut Strand < ' _ , C , impl Context > , selected_subgoal : & SelectedSubgoal < C > , ) { let table = self . stack [ depth ] . table ; let mut selected_subgoal = selected_subgoal . clone ( ) ; selected_subgoal . answer_index . increment ( ) ; self . tables [ table ] . push_strand ( Self :: canonicalize_strand_from ( & mut * strand . infer , & strand . ex_clause , Some ( selected_subgoal ) , ) ) ; }
Invoked when we have found a successful answer to the given
table.
Invoked when we have found a successful answer to the given table .
&mut self
depth
StackIndex
strand
&mut Strand<'_, C, impl Context>
selected_subgoal
&SelectedSubgoal<C>
&mut self
depth
StackIndex
strand
&mut Strand<'_, C, impl Context>
selected_subgoal
&SelectedSubgoal<C>