From d720193610a213b02112c41ba1b1f22292e17825 Mon Sep 17 00:00:00 2001 From: David Speck Date: Fri, 27 Oct 2023 19:09:24 +0200 Subject: [PATCH] Updated supported_kind. --- up_symk/symk.py | 1 - 1 file changed, 1 deletion(-) diff --git a/up_symk/symk.py b/up_symk/symk.py index f982ac9..fb331f8 100644 --- a/up_symk/symk.py +++ b/up_symk/symk.py @@ -114,7 +114,6 @@ 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_quality_metrics("PLAN_LENGTH") supported_kind.set_quality_metrics("OVERSUBSCRIPTION")