Uncomment preconditions of drive task

sebastianstock · Nov 2, 2020 · e705d87 · e705d87
1 parent 921f3ac
commit e705d87
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/domains/mobipick/simple_navigation/domain.ddl b/domains/mobipick/simple_navigation/domain.ddl
@@ -52,9 +52,9 @@
 # Robot is holding nothing: tuck arm
 (:method
  (Head drive(?to_area))
- #(Pre p0 holding(ur5 nothing))
- #(Pre p1 robot_at(?from_area))
- #(VarDifferent ?to_area ?from_area)
+ (Pre p0 holding(ur5 nothing))
+ (Pre p1 robot_at(?from_area))
+ (VarDifferent ?to_area ?from_area)
  (Sub s1 adapt_arm(ur5 tucked))
  (Constraint Starts(s1,task))
  (Sub s2 move_base(?from_area ?to_area))