|
|
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 |
|
|
|
342a346fce
|
Started implementing colored output.
|
2016-06-14 12:47:39 +02:00 |
|
|
|
e0dd9833a3
|
Made unsupported expressions a separate type for disambiguation to fix issues with unsupported features.
|
2016-06-14 01:31:22 +02:00 |
|
|
|
da85e5dd9b
|
Checking whether variables have types before accessing them in the PDDL translator.
|
2016-06-13 16:37:35 +02:00 |
|
|
|
680206b40b
|
Removed Reference expressions.
|
2016-06-13 01:38:56 +02:00 |
|
|
|
1c8af793c2
|
Made PDDL action preconditions and effects optional.
|
2016-06-12 23:51:45 +02:00 |
|
|
|
be09230410
|
Added test for PDDL comment parsing.
|
2016-06-10 16:50:08 +02:00 |
|
|
|
9f0e784a4a
|
Implemented recognition of comments in PDDL.
|
2016-06-10 16:40:43 +02:00 |
|
|
|
c6bdfe3f38
|
Renamed issue checking test.
|
2016-06-09 23:35:57 +02:00 |
|
|
|
d1063b345d
|
Renamed error detection tests.
|
2016-06-09 23:31:12 +02:00 |
|
