Commit Graph

119 Commits

Author SHA1 Message Date
12e55da662
Allowing “at” as a predicate name even though it is an expression identifier. 2017-06-21 23:00:07 +02:00
08c55adfbd
Added test case covering missing variable names. 2017-06-21 16:55:56 +02:00
39c0e27cb2
Refactoring of tokenizer and stream classes for better efficiency and maintainability. 2017-06-21 02:56:27 +02:00
e345fd60fd
Reimplemented plasp with PDDL parsing library. 2017-06-20 01:53:55 +02:00
2d44ca7955
Updated PDDL instance repository. 2017-06-19 15:55:58 +02:00
40b43217fc
Replicated white space test case in new PDDL parsing library. 2017-06-19 00:35:31 +02:00
9fe489de53
Added unit tests covering predicate signature matching. 2017-06-19 00:18:03 +02:00
60d8b9ba77
Fixed incorrect parsing order of type declarations. 2017-06-19 00:18:02 +02:00
dd7fb31309
Made CMake configuration consistent. 2017-06-19 00:18:02 +02:00
230844c3ae
Fixed whitespace issue in typing sections and added test cases. 2017-06-19 00:18:02 +02:00
0b8da69394
Added official PDDL competition instances for automated testing. 2017-06-19 00:13:03 +02:00
e312a91632
Renamed tokenizing module for clarity. 2017-05-12 14:17:57 +02:00
27c6b69874
Moved basic parsing to a separate module. 2017-05-09 15:05:59 +02:00
88cb8f4516
Improved CMake structure. 2017-05-09 13:01:10 +02:00
cb2db2cadf
Removed unnecessary test file copies in CMake configuration. 2016-12-08 02:16:17 +01:00
2334686c59
Renamed arguments to parameters in predicate declarations. 2016-12-07 02:55:44 +01:00
ebab65e233
Refactoring to avoid dynamic casts. 2016-12-07 02:29:48 +01:00
3b110c0b8a
Started implementing translation for derived predicates. 2016-12-07 01:56:06 +01:00
c1340f6297
Merge branch 'develop' of github.com:potassco/plasp into normalization 2016-12-02 01:16:22 +01:00
c4e19dddae
Refactoring to use cleaner output implementation. 2016-11-29 06:03:05 +01:00
ba63a9fb05
Moved Catch to lib directory. 2016-11-12 18:24:09 +01:00
d4faaf428c Switched from Google Test to Catch. 2016-10-08 16:03:14 +02:00
4fc9b35c13 Implemented disjunctive normal form. 2016-09-08 03:42:32 +02:00
34496a7158 Finished implementing the prenex normal form with maximal groups of same-type quantifiers. 2016-09-08 02:40:51 +02:00
e0ed145716 Implemented prenex normalization. 2016-09-07 00:34:26 +02:00
edbc8770e3 Testing simplification of nested existential quantifiers. 2016-09-06 18:51:29 +02:00
31068bf89c Implemented simplification of nested quantified expressions. 2016-09-06 18:50:23 +02:00
6f3769f364 Removed unnecessary includes. 2016-09-05 17:05:48 +02:00
263b611a7b Implemented simplification of directly nested n-ary expressions of the same type. 2016-09-05 00:37:43 +02:00
79d449d0df Renaming to not confuse expression simplification and reduction. 2016-09-05 00:06:09 +02:00
4d72c20d9b Added separate simplification step to normalize in a single recursion. 2016-09-04 23:30:08 +02:00
ed2d64c1c9 Added debug printing function to facilitate testing expression normalization. 2016-09-04 22:26:17 +02:00
c9ecd0c020 Implemented De Morgan’s rules for normalization purposes. 2016-09-04 20:49:22 +02:00
6aaf7c039d Refactored normalization because of recent changes to the pointer usage. 2016-09-04 19:29:05 +02:00
7aa20a5820 Refactored expressions thanks to intrusive pointers. 2016-09-04 18:48:46 +02:00
9afabacde3 Switched to intrusive pointers for much easier maintenance. 2016-09-04 18:26:02 +02:00
63de1891af Fixed missing normalization step of arguments to imply statements and extended test to cover the issue. 2016-09-02 19:25:25 +02:00
9aad139aae Added test covering the removal of implications. 2016-09-02 18:45:00 +02:00
4fb2c331f3 Added dummy expression to check that with removed double negations, expressions are still correctly normalized. 2016-09-02 18:32:13 +02:00
1a96c3ec72 Added test covering removal of double negations. 2016-09-02 18:27:00 +02:00
b4f7e4f102 Added test case covering unexpected whitespaces in SAS file. 2016-08-30 18:48:24 +02:00
76f8df13fc Fixed parsing issue with unexpected whitespaces in SAS files. 2016-08-30 13:01:22 +02:00
91019f52aa Fixed issue with unsupported expression negations. 2016-08-16 18:58:30 +02:00
cdb06fa5bf Improved output format and highlighting. 2016-08-16 18:35:55 +02:00
d0864b9efe Extended parser tests. 2016-08-08 12:40:02 +02:00
18bd606262 Extended parser tests. 2016-08-07 16:46:48 +02:00
544d4e0635 Major refactoring of underlying Parser class. 2016-08-02 20:33:49 +02:00
73c9d6c1f3 Checking that Parser initially is case-sensitive. 2016-06-22 09:14:01 +01:00
d9578b6f1c Testing Parser position with seek and advance. 2016-06-22 09:07:19 +01:00
b5e325cbee Testing Parser’s reset method. 2016-06-22 09:02:46 +01:00