Merge pull request #489 from Shi-Raida/tests/basic_numeric

Tests: add a basic numeric example
aiplan4eu · Sep 26, 2023 · 862c4b2 · 862c4b2
2 parents 251254b + 84506d5
commit 862c4b2
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/unified_planning/test/examples/minimals.py b/unified_planning/test/examples/minimals.py
@@ -389,4 +389,17 @@ def get_example_problems():
     basic_with_object_constant = Example(problem=problem, plan=plan)
     problems["basic_with_object_constant"] = basic_with_object_constant
 
+    # basic numeric
+    value = Fluent("value", IntType())
+    task = InstantaneousAction("task")
+    task.add_precondition(Equals(value, 1))
+    task.add_effect(value, 2)
+    problem = Problem("basic_numeric")
+    problem.add_fluent(value)
+    problem.add_action(task)
+    problem.set_initial_value(value, 1)
+    problem.add_goal(Equals(value, 2))
+    plan = up.plans.SequentialPlan([up.plans.ActionInstance(task)])
+    problems["basic_numeric"] = Example(problem=problem, plan=plan)
+
     return problems
diff --git a/unified_planning/test/test_problem.py b/unified_planning/test/test_problem.py
@@ -528,6 +528,7 @@ def test_simple_numeric_planning_kind(self):
             "basic_int_fluent_param",
             "basic_bounded_int_action_param",
             "basic_unbounded_int_action_param",
+            "basic_numeric",
             "sched:basic",
             "sched:resource_set",
             "sched:jobshop-ft06-operators",