diff --git a/src/internal/partial_solution.rs b/src/internal/partial_solution.rs index 22115388..63279c1d 100644 --- a/src/internal/partial_solution.rs +++ b/src/internal/partial_solution.rs @@ -214,6 +214,13 @@ impl PartialSolution { self.next_global_index += 1; } + /// The list of package that have not been selected after the last prioritization. + /// + /// This list gets updated by [`Self::pick_highest_priority_pkg`] and cleared by backtracking. + pub fn undecided_packages(&self) -> impl Iterator, &DP::Priority)> { + self.prioritized_potential_packages.iter() + } + /// Add a derivation. pub(crate) fn add_derivation( &mut self,