[issue1087] Fix broken assertion.

Conjunctive landmarks may overlap with simple landmarks.
aibasel · Oct 4, 2023 · e0cf32b · e0cf32b
1 parent 6974655
commit e0cf32b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/search/landmarks/landmark_graph.cc b/src/search/landmarks/landmark_graph.cc
@@ -102,9 +102,11 @@ bool LandmarkGraph::contains_landmark(const FactPair &lm) const {
 }
 
 LandmarkNode &LandmarkGraph::add_landmark(Landmark &&landmark) {
-    assert(all_of(landmark.facts.begin(), landmark.facts.end(), [&](const FactPair &lm_fact) {
-                      return !contains_landmark(lm_fact);
-                  }));
+    assert(landmark.conjunctive
+           || all_of(landmark.facts.begin(), landmark.facts.end(),
+                     [&](const FactPair &lm_fact) {
+                         return !contains_landmark(lm_fact);
+                     }));
     unique_ptr<LandmarkNode> new_node =
         utils::make_unique_ptr<LandmarkNode>(move(landmark));
     LandmarkNode *new_node_p = new_node.get();