Last fix

setup.py

@@ -25,7 +25,7 @@
         "tarski": ["tarski[arithmetic]"],
         "pyperplan": ["up-pyperplan~=1.1.0"],
         "tamer": ["up-tamer~=1.1.0"],
-        "enhsp": ["up-enhsp~=0.0.24"],
+        "enhsp": ["up-enhsp~=0.0.26"],
         "fast-downward": ["up-fast-downward==0.4.1"],
         "lpg": ["up-lpg==0.0.10"],
         "fmap": ["up-fmap==0.0.13"],
@@ -35,7 +35,7 @@
             "tarski[arithmetic]",
             "up-pyperplan~=1.1.0",
             "up-tamer~=1.1.0",
-            "up-enhsp~=0.0.24",
+            "up-enhsp~=0.0.26",
             "up-fast-downward==0.4.1",
             "up-lpg==0.0.10",
             "up-fmap==0.0.13",

unified_planning/io/pddl_reader.py

@@ -668,7 +668,11 @@ def _add_effect(
                     ),
                     cond,
                 )
-                act.add_decrease_effect(*eff if timing is None else (timing, *eff))  # type: ignore
+                if isinstance(act, up.model.Process):
+                    eff1 = (eff[0], (eff[1] * (-1)).simplify())
+                    act.add_derivative(*eff1)
+                else:
+                    act.add_decrease_effect(*eff if timing is None else (timing, *eff))  # type: ignore
             elif op == "forall":
                 assert isinstance(exp, CustomParseResults)
                 if forall_variables:

unified_planning/model/action.py

@@ -945,7 +945,7 @@ def add_derivative(
                 f"Process effect has an incompatible value type. Fluent type: {fluent_exp.type} // Value type: {value_exp.type}"
             )
         if not fluent_exp.type.is_int_type() and not fluent_exp.type.is_real_type():
-            raise UPTypeError("Increase effects can be created only on numeric types!")
+            raise UPTypeError("Derivative can be created only on numeric types!")
         self._add_effect_instance(
             up.model.effect.Effect(
                 fluent_exp,