(define (domain grid-visit-all)
(:requirements :typing)
(:types place)
(:predicates (connected ?x - place ?y - place)
	     (atrobot ?x - place)
	     (visited ?x - place)
)

(:action move
:parameters (?o1 - place ?o2 - place)
:precondition (and (atrobot ?o1) (connected ?o1 ?o2))
:effect (and (atrobot ?o2) (not (atrobot ?o1)) (visited ?o2))
)

)
