|
|
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 |
|
|
|
0de2489440
|
Using LogStreams in the PDDL translator.
|
2016-06-14 16:14:39 +02:00 |
|
