Merge pull request #524 from aiplan4eu/validation-time-and-traces

Validator Tracing and TimeTriggeredValidator
aiplan4eu · Jan 15, 2024 · e66c6d3 · e66c6d3
2 parents c7d0e01 + 2567ee5
commit e66c6d3
Show file tree

Hide file tree

Showing 6 changed files with 544 additions and 74 deletions.
diff --git a/unified_planning/engines/__init__.py b/unified_planning/engines/__init__.py
@@ -21,7 +21,10 @@
 from unified_planning.engines.parallel import Parallel
 from unified_planning.engines.pddl_planner import PDDLPlanner
 from unified_planning.engines.pddl_anytime_planner import PDDLAnytimePlanner
-from unified_planning.engines.plan_validator import SequentialPlanValidator
+from unified_planning.engines.plan_validator import (
+    SequentialPlanValidator,
+    TimeTriggeredPlanValidator,
+)
 from unified_planning.engines.oversubscription_planner import OversubscriptionPlanner
 from unified_planning.engines.replanner import Replanner
 from unified_planning.engines.results import (

diff --git a/unified_planning/engines/factory.py b/unified_planning/engines/factory.py
@@ -63,6 +63,10 @@
         "unified_planning.engines.plan_validator",
         "SequentialPlanValidator",
     ),
+    "up_time_triggered_validator": (
+        "unified_planning.engines.plan_validator",
+        "TimeTriggeredPlanValidator",
+    ),
     "sequential_simulator": (
         "unified_planning.engines.sequential_simulator",
         "UPSequentialSimulator",
@@ -139,6 +143,7 @@
     "tamer",
     "sequential_plan_validator",
     "sequential_simulator",
+    "up_time_triggered_validator",
     "up_bounded_types_remover",
     "up_conditional_effects_remover",
     "up_disjunctive_conditions_remover",