patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity
860 Commits 2 Branches 8 Tags
develop
Commit Graph
36 Commits
Author SHA1 Message Date
patrick 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 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 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 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 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 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 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 6b1d079f69 Enabled test cases again by removing unsupported features from test files. 2017-06-24 21:49:13 +02:00
patrick 909949ff22 Removed unwanted test case. 2017-06-24 20:11:12 +02:00
patrick 12e55da662 Allowing “at” as a predicate name even though it is an expression identifier. 2017-06-21 23:00:07 +02:00
patrick 08c55adfbd Added test case covering missing variable names. 2017-06-21 16:55:56 +02:00
patrick 2d44ca7955 Updated PDDL instance repository. 2017-06-19 15:55:58 +02:00
patrick 40b43217fc Replicated white space test case in new PDDL parsing library. 2017-06-19 00:35:31 +02:00
patrick 9fe489de53 Added unit tests covering predicate signature matching. 2017-06-19 00:18:03 +02:00
patrick 60d8b9ba77 Fixed incorrect parsing order of type declarations. 2017-06-19 00:18:02 +02:00
patrick 230844c3ae Fixed whitespace issue in typing sections and added test cases. 2017-06-19 00:18:02 +02:00
patrick 0b8da69394 Added official PDDL competition instances for automated testing. 2017-06-19 00:13:03 +02:00
patrick b4f7e4f102 Added test case covering unexpected whitespaces in SAS file. 2016-08-30 18:48:24 +02:00
patrick 91019f52aa Fixed issue with unsupported expression negations. 2016-08-16 18:58:30 +02:00
patrick da85e5dd9b Checking whether variables have types before accessing them in the PDDL translator. 2016-06-13 16:37:35 +02:00
patrick be09230410 Added test for PDDL comment parsing. 2016-06-10 16:50:08 +02:00
patrick 15061f75a9 Added test covering last issue. 2016-06-09 18:48:16 +02:00
patrick 23170e170a Added test covering last two issues. 2016-06-09 18:32:55 +02:00
patrick d629f50661 Added many PDDL syntax error tests. 2016-06-09 15:19:01 +02:00
patrick d92a3e9239 Started testing PDDL problem parsing for a Storage problem. 2016-06-08 13:57:01 +02:00
patrick d23ec14e9d Started testing PDDL problem parsing for a Blocks World problem. 2016-06-08 13:52:36 +02:00
patrick 50315f5fae Relaxing white space requirements. 2016-06-02 23:41:40 +02:00
patrick 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 25cf7c8ae8 Implemented parsing of PDDL constants. 2016-06-01 16:47:34 +02:00
patrick 3c97ced486 Implemented predicate parsing and refactored context storage. 2016-06-01 14:11:13 +02:00
patrick a989f5f86e Started implementing PDDL type parsing. 2016-05-30 20:43:36 +02:00
patrick 1c4c035acc Added missing test file for PDDL parser tests. 2016-05-30 15:47:57 +02:00
patrick 430bedc2cc Added test covering SAS feature requirements. 2016-05-24 02:03:13 +02:00
patrick d118788142 Parsing <none of those> values in SAS files. 2016-05-23 01:27:28 +02:00
patrick 081b604c40 Added test for removal of trailing parantheses with 0-ary predicates. 2016-05-23 00:47:30 +02:00
patrick 16b8b4c833 Added tests for SAS parser. 2016-05-20 18:46:37 +02:00