feature(interpreted functions): added check for IF as condition - wor…

…k in progress
aiplan4eu · Sep 13, 2024 · f5063de · f5063de
1 parent f1cf4bf
commit f5063de
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/unified_planning/model/problem.py b/unified_planning/model/problem.py
@@ -896,9 +896,9 @@ def update_problem_kind_expression(
             self.kind.set_conditions_kind("EXISTENTIAL_CONDITIONS")
         if OperatorKind.FORALL in ops:
             self.kind.set_conditions_kind("UNIVERSAL_CONDITIONS")
-        # if OperatorKind.INTERPRETED_FUNCTION_EXP in ops:
-        #    self.kind.set_conditions_kind("INTERPRETED_FUNCTIONS_IN_CONDITIONS")
-        ##can an straight up be a condition as it can return bool or should this be done differently
+        if OperatorKind.INTERPRETED_FUNCTION_EXP in ops:
+            self.kind.set_conditions_kind("INTERPRETED_FUNCTIONS_IN_CONDITIONS")
+        ##can an IF straight up be a condition as it can return bool or should this be done differently
         ##change walker that extracts operators?
         is_linear, _, _ = self.linear_checker.get_fluents(exp)
         if not is_linear: