Expand description
Functions to support logical And and Or operators.
This module contains the functions next_solution_and() and next_solution_or(), which are called by next_solution() in solution_node.rs.
Functionsยง
- next_
solution_ and - Calls next_solution() on all subgoals of the And operator.
- next_
solution_ or - Calls next_solution() on subgoals of the Or operator.