(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 ()
:effect ())

)
