From 5a57a493d35b3711dc7c0e27e4c36c4b0ee0eabe Mon Sep 17 00:00:00 2001 From: Luca Framba Date: Fri, 27 Oct 2023 08:46:33 +0200 Subject: [PATCH] Removed REAL in actions_cost and oversubscription --- up_symk/symk.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/up_symk/symk.py b/up_symk/symk.py index dd00b68..5f8fc78 100644 --- a/up_symk/symk.py +++ b/up_symk/symk.py @@ -115,11 +115,9 @@ def supported_kind() -> "ProblemKind": 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"]: