Unit tests: normalization #1

New Issue

patrick · 2017-11-03T19:32:49+01:00

patrick commented

2017-11-03 19:32:49 +01:00

I implemented normalization of PDDL for nested preconditions and multiple other features. These should be tested to a certain degree to ensure that the output is correct.

To Do

test that basic PDDL is preserved
test that simple features are correctly reduced away
- implications
- universal quantifiers
- negation normalization, including De Morgan rules
test that nested preconditions are properly flattened
test that parameters and existential parameters are correctly captured
test numbering of derived predicates when present in both domain and problem

I implemented normalization of PDDL for nested preconditions and multiple other features. These should be tested to a certain degree to ensure that the output is correct. ### To Do - [x] test that basic PDDL is preserved - [x] test that simple features are correctly reduced away - [x] implications - [x] universal quantifiers - [x] negation normalization, including De Morgan rules - [x] test that nested preconditions are properly flattened - [x] test that parameters and existential parameters are correctly captured - [x] test numbering of derived predicates when present in both domain and problem

patrick added this to the plasp 3.1.0 milestone 2017-11-03 19:32:49 +01:00

patrick self-assigned this 2017-11-03 19:32:49 +01:00

patrick added the

task

label 2017-11-03 19:34:49 +01:00

patrick closed this issue

2017-11-16 17:42:12 +01:00

This repo is archived. You cannot comment on issues.

1 Participants

Due Date

-

Dependencies

No dependencies set.

Reference: patrick/plasp#1