domain.pddl

(define (domain horb)
  (:types
   room - object
   )

  (:predicates
   (clean ?room - room)
   (edge ?from ?to - room) ; undirected
   (at ?room - room)
   )

  (:action moveAndClean
           :parameters(?from ?to - room)
           :precondition(and
                         (not (clean ?to))
                         (edge ?from ?to)
                         (at ?from)
                         )
           :effect(and
                   (clean ?to)
                   (not (at ?from))
                   (at ?to)
                   )
           )


  )