fix(interpreted functions): sequential simulator can handle IF in con…

…ditions - this breaks test_partial_order_plan
aiplan4eu · Sep 24, 2024 · f883ab7 · f883ab7
1 parent 21e4699
commit f883ab7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/unified_planning/engines/interpreted_functions_planner.py b/unified_planning/engines/interpreted_functions_planner.py
@@ -177,7 +177,7 @@ def _attempt_to_solve(
         # print (res.plan)
 
         spv = SequentialPlanValidator(environment=get_environment())
-        spv.skip_checks = True  # have to use this
+        # spv.skip_checks = True  # --------------------------------------------------------------------------
         validation_result = spv.validate(problem, mappedbackplan)
         if validation_result.status == ValidationResultStatus.VALID:
             # print("the plan is ok")

diff --git a/unified_planning/engines/sequential_simulator.py b/unified_planning/engines/sequential_simulator.py
@@ -620,6 +620,9 @@ def supported_kind() -> "up.model.ProblemKind":
         supported_kind.set_conditions_kind("EQUALITIES")
         supported_kind.set_conditions_kind("EXISTENTIAL_CONDITIONS")
         supported_kind.set_conditions_kind("UNIVERSAL_CONDITIONS")
+        supported_kind.set_conditions_kind(
+            "INTERPRETED_FUNCTIONS_IN_CONDITIONS"
+        )  # causes problems in test_partial_order_plan
         supported_kind.set_effects_kind("CONDITIONAL_EFFECTS")
         supported_kind.set_effects_kind("INCREASE_EFFECTS")
         supported_kind.set_effects_kind("DECREASE_EFFECTS")