This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/tests/data/issues/issue-4.pddl

12 lines
288 B
Plaintext
Raw Permalink Normal View History

(define (domain tsp)
(:requirements :negative-preconditions)
(:predicates
(at ?x)
(visited ?x)
(connected ?x ?y))
(:action move
:parameters (?x ?y)
:precondition (and (at ?x) (not (visited ?y)) (connected ?x ?y))
:effect (and (at ?y) (visited ?y) (not (at ?x)))))