Patrick Lühne
5af0c26650
Added tests for derived predicate numbering.
...
These tests ensure that derived predicates are numbered correctly,
whether they are introduced by the domain, the problem, or both.
2017-11-16 17:30:53 +01:00
Patrick Lühne
39410ac98b
Added normalization tests for nested expressions.
...
These tests ensure that nested expressions in preconditions and effects
are correctly flattened via derived predicates.
2017-11-16 17:23:08 +01:00
Patrick Lühne
5621820fe4
Added normalization tests for negations.
...
These tests ensure that multiple negations are eliminated, negated
quantifiers are replaced appropriately, negations introduced by
reduction are correctly handled, and negated disjunctions and
conjunctions are replaced according to De Morgan’s rules.
2017-11-15 18:53:43 +01:00
Patrick Lühne
9e9040cac0
Added normalization tests for “forall” statements.
...
These tests ensure that universal quantifiers are correctly reduced to
negated existential quantifiers over the negated argument via derived
predicates in preconditions (nested and not) and goal descriptions.
2017-11-15 17:26:56 +01:00
Patrick Lühne
0cf84dd5ca
Added normalization tests for implications.
...
These tests ensure that implications are correctly reduced to
disjunctions in preconditions (nested and not) and goal descriptions.
2017-11-15 16:34:48 +01:00
Patrick Lühne
b063f5047e
Added basic normalization tests.
...
These tests make sure that simple PDDL descriptions are preserved by
normalization.
2017-11-15 16:01:26 +01:00
Patrick Lühne
010e7bf41e
Requiring goal to contain only one statement.
...
Previously, the parser read the first statement of the goal as its
precondition, but didn’t check that it was properly terminated with a
closing parenthesis. This allowed arbitrary text to be included within
the goal description without error, which was incorrect.
This commit fixes this issue and adds a corresponding unit test.
2017-11-15 15:52:10 +01:00
Patrick Lühne
6b1d079f69
Enabled test cases again by removing unsupported features from test files.
2017-06-24 21:49:13 +02:00
Patrick Lühne
909949ff22
Removed unwanted test case.
2017-06-24 20:11:12 +02:00
Patrick Lühne
12e55da662
Allowing “at” as a predicate name even though it is an expression identifier.
2017-06-21 23:00:07 +02:00
Patrick Lühne
08c55adfbd
Added test case covering missing variable names.
2017-06-21 16:55:56 +02:00
Patrick Lühne
2d44ca7955
Updated PDDL instance repository.
2017-06-19 15:55:58 +02:00
Patrick Lühne
40b43217fc
Replicated white space test case in new PDDL parsing library.
2017-06-19 00:35:31 +02:00
Patrick Lühne
9fe489de53
Added unit tests covering predicate signature matching.
2017-06-19 00:18:03 +02:00
Patrick Lühne
60d8b9ba77
Fixed incorrect parsing order of type declarations.
2017-06-19 00:18:02 +02:00
Patrick Lühne
230844c3ae
Fixed whitespace issue in typing sections and added test cases.
2017-06-19 00:18:02 +02:00
Patrick Lühne
0b8da69394
Added official PDDL competition instances for automated testing.
2017-06-19 00:13:03 +02:00
Patrick Lühne
b4f7e4f102
Added test case covering unexpected whitespaces in SAS file.
2016-08-30 18:48:24 +02:00
Patrick Lühne
91019f52aa
Fixed issue with unsupported expression negations.
2016-08-16 18:58:30 +02:00
Patrick Lühne
da85e5dd9b
Checking whether variables have types before accessing them in the PDDL translator.
2016-06-13 16:37:35 +02:00
Patrick Lühne
be09230410
Added test for PDDL comment parsing.
2016-06-10 16:50:08 +02:00
Patrick Lühne
15061f75a9
Added test covering last issue.
2016-06-09 18:48:16 +02:00
Patrick Lühne
23170e170a
Added test covering last two issues.
2016-06-09 18:32:55 +02:00
Patrick Lühne
d629f50661
Added many PDDL syntax error tests.
2016-06-09 15:19:01 +02:00
Patrick Lühne
d92a3e9239
Started testing PDDL problem parsing for a Storage problem.
2016-06-08 13:57:01 +02:00
Patrick Lühne
d23ec14e9d
Started testing PDDL problem parsing for a Blocks World problem.
2016-06-08 13:52:36 +02:00
Patrick Lühne
50315f5fae
Relaxing white space requirements.
2016-06-02 23:41:40 +02:00
Patrick Lühne
63d74e3524
Replaced tabs with spaces in test file to get more accurate parser positions in errors.
2016-06-02 16:28:26 +02:00
Patrick Lühne
25cf7c8ae8
Implemented parsing of PDDL constants.
2016-06-01 16:47:34 +02:00
Patrick Lühne
3c97ced486
Implemented predicate parsing and refactored context storage.
2016-06-01 14:11:13 +02:00
Patrick Lühne
a989f5f86e
Started implementing PDDL type parsing.
2016-05-30 20:43:36 +02:00
Patrick Lühne
1c4c035acc
Added missing test file for PDDL parser tests.
2016-05-30 15:47:57 +02:00
Patrick Lühne
430bedc2cc
Added test covering SAS feature requirements.
2016-05-24 02:03:13 +02:00
Patrick Lühne
d118788142
Parsing <none of those> values in SAS files.
2016-05-23 01:27:28 +02:00
Patrick Lühne
081b604c40
Added test for removal of trailing parantheses with 0-ary predicates.
2016-05-23 00:47:30 +02:00
Patrick Lühne
16b8b4c833
Added tests for SAS parser.
2016-05-20 18:46:37 +02:00
Patrick Lühne