Skip to content

Commit

Permalink
Remove newlines in PDDL domain predicates to work around [1]
Browse files Browse the repository at this point in the history
  • Loading branch information
Bckempa committed Dec 21, 2023
1 parent af9d74e commit 0707dd1
Showing 1 changed file with 2 additions and 10 deletions.
12 changes: 2 additions & 10 deletions astrobee/survey_manager/survey_planner/pddl/domain_survey.pddl
Original file line number Diff line number Diff line change
Expand Up @@ -72,11 +72,7 @@
;; completed-panorama: The goal to add if you want the plan to include collecting a
;; panorama. For now, goals specify ?robot and ?order parameters that constrain
;; multi-robot task allocation and task ordering.
(completed-panorama
?robot - robot
?order - order
?location - location
)
(completed-panorama ?robot - robot ?order - order ?location - location)

;; completed-stereo: The goal to add if you want the plan to include collecting a stereo
;; survey. For now, goals specify ?robot and ?order parameters that constrain multi-robot
Expand All @@ -87,11 +83,7 @@
;; used for collision checking. It's assumed that ?base and ?bound are not adjacent
;; locations. If future stereo surveys violate these assumptions the model will need to be
;; revisited.
(completed-stereo
?robot - robot
?order - order
?base ?bound - location
)
(completed-stereo ?robot - robot ?order - order ?base ?bound - location)
)

(:functions
Expand Down

0 comments on commit 0707dd1

Please sign in to comment.