chore(search): avoid branching on reifications in forward search.

plaans · Dec 12, 2023 · 151005d · 151005d
1 parent 6636e04
commit 151005d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/planning/planners/src/search/forward.rs b/planning/planners/src/search/forward.rs
@@ -71,6 +71,7 @@ fn branching_variables<'a>(ch: &'a ChronicleInstance, model: &'a Model) -> impl
                 // This can happen when a single variable is used to represent several things such as the start and the end of the chronicle
                 v == start_ref
             }
+            Some(VarLabel(_, Reification)) => false,
             _ => true,
         })
         .filter(move |&v| {