Update: Updated ProblemKind to version 2

aiplan4eu · Oct 25, 2023 · a30a158 · a30a158
1 parent fc7b63c
commit a30a158
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/up_symk/symk.py b/up_symk/symk.py
@@ -99,7 +99,7 @@ def satisfies(optimality_guarantee: "OptimalityGuarantee") -> bool:
 
     @staticmethod
     def supported_kind() -> "ProblemKind":
-        supported_kind = ProblemKind()
+        supported_kind = ProblemKind(version=2)
         supported_kind.set_problem_class("ACTION_BASED")
         supported_kind.set_typing("FLAT_TYPING")
         supported_kind.set_typing("HIERARCHICAL_TYPING")
@@ -114,9 +114,13 @@ def supported_kind() -> "ProblemKind":
         supported_kind.set_effects_kind("FORALL_EFFECTS")
         supported_kind.set_quality_metrics("ACTIONS_COST")
         supported_kind.set_actions_cost_kind("STATIC_FLUENTS_IN_ACTIONS_COST")
+        supported_kind.set_actions_cost_kind("INT_NUMBERS_IN_ACTIONS_COST")
+        supported_kind.set_actions_cost_kind("REAL_NUMBERS_IN_ACTIONS_COST")
         supported_kind.set_quality_metrics("PLAN_LENGTH")
         supported_kind.set_quality_metrics("OVERSUBSCRIPTION")
-
+        supported_kind.set_oversubscription_kind("INT_NUMBERS_IN_OVERSUBSCRIPTION")
+        supported_kind.set_oversubscription_kind("REAL_NUMBERS_IN_OVERSUBSCRIPTION")
+
         # Attempt to set the supported fluents type of "DERIVED_FLUENTS" (depends on UP version)
         if "FLUENTS_TYPE" in FEATURES and "DERIVED_FLUENTS" in FEATURES["FLUENTS_TYPE"]:
             supported_kind.set_fluents_type("DERIVED_FLUENTS")