Unit tests: normalization #1

Closed
opened 2017-11-03 19:32:49 +01:00 by patrick · 0 comments
Owner

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
This repo is archived. You cannot comment on issues.
No Milestone
No Assignees
1 Participants
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

0001-01-01

Dependencies

No dependencies set.

Reference: patrick/plasp#1
No description provided.