Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Corrected typo in non existing predicate of domain satellite #7

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

Corrected typo in non existing predicate of domain satellite #7

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
8f5ded0
Corrected typo in non existing predicate of domain satellite
fteicht Feb 26, 2021
22c8c51
Corrected undeclared :action-costs requirement in floor tile domains
fteicht Feb 26, 2021
202dd64
Corrected double declaration of kiln0 object in domain temporal-machi…
fteicht Feb 26, 2021
cf08a8b
Correct missing negative preconditions requirement in domain tidybot
fteicht Feb 26, 2021
4ced256
Missing numeric fluents requirement in airport domain
fteicht Mar 4, 2021
2468dbd
Removed declaration of default number type in dining philosophers domain
fteicht Mar 4, 2021
1ff5133
Missing many requirements in domain dining philosophers
fteicht Mar 4, 2021
ff2764f
Missing numeric fluents requirements in domain airport
fteicht Mar 4, 2021
ec4f1cf
Reverted redeclaration or number type in domain dining philosophers
fteicht Mar 4, 2021
db6f17b
Missing many requirements in domain optical telegraph
fteicht Mar 4, 2021
ef82c0f
Missing numeric fluents requirements in domain airport
fteicht Mar 4, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-adl/domain.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-1.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-10.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-11.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-12.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-13.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-14.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-15.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-16.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-17.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-18.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-19.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-2.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-20.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-21.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-22.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-23.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-24.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-25.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-26.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-27.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-28.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-29.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-3.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-30.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-31.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-32.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-33.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-34.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-35.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-36.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-37.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-38.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-39.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-4.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-40.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-41.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-42.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-43.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-44.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-45.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-46.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-47.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
2 changes: 1 addition & 1 deletion ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-48.pddl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@


(define (domain airport_durative)
(:requirements :durative-actions :adl)
(:requirements :durative-actions :adl :numeric-fluents)

(:types airplane segment direction airplanetype)

Expand Down
Loading