Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Validator Tracing and TimeTriggeredValidator #524

Merged
merged 15 commits into from
Jan 15, 2024
Merged

Validator Tracing and TimeTriggeredValidator #524

Show file tree
Hide file tree
Changes from 13 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
760ee88
Added trace to sequential validator and started mock-up of timetrigge…
mikand Nov 17, 2023
a4a4d82
Backup commit: basic simulation working, still many todos
mikand Nov 21, 2023
4236f3a
Fixed typing issues
mikand Nov 21, 2023
9f046a2
Added goal check support and removed debug prints
mikand Nov 21, 2023
247e145
Added support for timed goals and timed effects
mikand Nov 22, 2023
3e9b34e
Added support for quantification of effects
mikand Nov 22, 2023
70140ac
Fixed TimeTriggeredPlanValidator
alvalentini Dec 1, 2023
c3d9493
Fixed mypy errors
alvalentini Dec 1, 2023
2cfdac6
Small fixes
alvalentini Dec 1, 2023
392cb88
Added tests
alvalentini Dec 5, 2023
0b450a7
Minor fixes
alvalentini Dec 11, 2023
3ab3c31
Fixed delete before add semantics
alvalentini Jan 10, 2024
16c37da
Fixed minor bug
alvalentini Jan 10, 2024
72037f4
Minor fix
alvalentini Jan 12, 2024
2567ee5
Fixed try-except
alvalentini Jan 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion unified_planning/engines/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 (
Expand Down
5 changes: 5 additions & 0 deletions unified_planning/engines/factory.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down Expand Up @@ -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",
Expand Down
Loading
Loading