Skip to content

Commit

Permalink
Removed REAL in actions_cost and oversubscription
Browse files Browse the repository at this point in the history
  • Loading branch information
Framba-Luca committed Oct 27, 2023
1 parent a30a158 commit 5a57a49
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions up_symk/symk.py
Original file line number Diff line number Diff line change
Expand Up @@ -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"]:
Expand Down

0 comments on commit 5a57a49

Please sign in to comment.