Function next_solution_and

pub fn next_solution_and<'a>(
    sn: Rc<RefCell<SolutionNode<'a>>>,
) -> Option<Rc<SubstitutionSet<'a>>>

Calls next_solution() on all subgoals of the And operator.

All subgoals must succeed for the And solution node to succeed.

Arguments

• SolutionNode
• reference to SolutionNode

Return

SubstitutionSet or None