[idf_search.rs] Tighten an assertion (max depth is exclusive).

cubing · Sep 14, 2024 · 4800edc · 4800edc
1 parent 6df1501
commit 4800edc
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/rs/_internal/search/idf_search.rs b/src/rs/_internal/search/idf_search.rs
@@ -102,8 +102,8 @@ impl Iterator for SearchSolutions {
 #[serde(rename_all = "camelCase")]
 pub struct IndividualSearchOptions {
  pub min_num_solutions: Option<usize>,
- pub min_depth: Option<usize>,
- pub max_depth: Option<usize>,
+ pub min_depth: Option<usize>, // inclusive
+ pub max_depth: Option<usize>, // exclusive
  pub disallowed_initial_quanta: Option<Vec<QuantumMove>>, // TODO: Change this to `fsm_pre_moves` so we can compute disallowed initial FSM states.
  pub disallowed_final_quanta: Option<Vec<QuantumMove>>, // TODO: Find a way to represent this using disallowed final FSM states?
 }
@@ -203,7 +203,9 @@ impl IDFSearch {
  }
  }
 
- assert!(individual_search_options.get_max_depth() >= individual_search_options.get_min_depth());
+ assert!(
+ individual_search_options.get_max_depth() > individual_search_options.get_min_depth()
+ );
 
  let (solution_sender, search_solutions) = SearchSolutions::construct();
  let mut individual_search_data = IndividualSearchData {