diff --git a/up_symk/symk.py b/up_symk/symk.py index d717c09..dd00b68 100644 --- 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")