From 226dbbcfe7ed7a78081688c2951731fbd644dc5b Mon Sep 17 00:00:00 2001
From: Framba Luca <82944800+Framba-Luca@users.noreply.github.com>
Date: Fri, 27 Oct 2023 10:59:59 +0200
Subject: [PATCH] Update: Updated ProblemKind to version 2 (#2)

* Update: Updated ProblemKind to version 2 (INT_NUMBERS)
---
 up_symk/symk.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/up_symk/symk.py b/up_symk/symk.py
index d717c09..5f8fc78 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,11 @@ 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")
-        
+        supported_kind.set_oversubscription_kind("INT_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")