Commit Graph

201 Commits

Author SHA1 Message Date
0c5936ad38 Noted to-do. 2016-09-05 00:39:12 +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
3fa7b93d44 Fixed wrong recursive call. 2016-09-04 23:34:20 +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
f10f4ac29c Added back reference expressions to make the expression tree structure simpler. 2016-09-04 14:49:34 +02:00
23e851ccef Normalizing problems’ goal descriptions. 2016-09-02 18:49:30 +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
56ce55677f Started implementing PDDL normalization. 2016-09-02 17:58:00 +02:00
c528626fe9 Preparing more general form of PDDL normalization. 2016-09-02 16:39:42 +02:00
76f8df13fc Fixed parsing issue with unexpected whitespaces in SAS files. 2016-08-30 13:01:22 +02:00
31d0a1fb38 Turned exception about unspecified requirements into a warning, now also for problems. 2016-08-18 14:30:47 +02:00
ca30f8a815 Turned exception about unspecified requirements into a warning. 2016-08-18 14:29:17 +02:00
21c337e0fa Removed now obsolete ASP variable handling for PDDL. 2016-08-18 00:25:47 +02:00
8251652445 Implemented parameter name normalization for PDDL to avoid escaping the names. 2016-08-18 00:24:10 +02:00
cdb06fa5bf Improved output format and highlighting. 2016-08-16 18:35:55 +02:00
230c6dfc15 Made order of sections of translated SAS more uniform with PDDL. 2016-08-13 02:29:48 +02:00
252f50108b Removed unnecessary file. 2016-08-07 16:22:26 +02:00
015c34fc2b Minor refactoring. 2016-08-03 00:33:20 +02:00
d7b47797df Made Stream members protected again. 2016-08-03 00:28:22 +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
234938349c Fixed incorrect seek positions. 2016-06-22 08:59:18 +01:00
6b5c8df03a Fixed issues with color output. 2016-06-14 19:14:26 +02:00
0a205680fe Made default color policy autodetection again. 2016-06-14 18:46:47 +02:00
eb3d91f085 Added command-line option to autodetect, enable, or disable color output. 2016-06-14 18:02:59 +02:00
aff396d919 Colorizing numbers in translated SAS output. 2016-06-14 17:41:41 +02:00
f7cd24b67a Colorized output for SAS translator. 2016-06-14 17:35:32 +02:00
1e21457efb Refactored color output of headings. 2016-06-14 17:11:45 +02:00
583ec78eef Removed deleted methods. 2016-06-14 17:06:07 +02:00
9969281b11 Refactored color output of variables and keywords. 2016-06-14 17:05:41 +02:00
6fec1cc409 Made all error and warning messages lowercase consistently. 2016-06-14 16:53:48 +02:00
1b83708a6d Colorized PDDL translator output. 2016-06-14 16:38:41 +02:00
0de2489440 Using LogStreams in the PDDL translator. 2016-06-14 16:14:39 +02:00
fd5416c94e Removed template from LogStream. 2016-06-14 16:09:47 +02:00
48137ec24d Fixed an issue with gcc 5. 2016-06-14 15:59:16 +02:00
febef4bed4 Made output and error streams members of the logger. 2016-06-14 15:56:35 +02:00
b599670572 Added LogStream class for uniform color output handling. 2016-06-14 15:53:53 +02:00
57e9de6b05 Renamed method to »logWarning.« 2016-06-14 15:12:45 +02:00
9679706a08 Removed ParserWarning class. 2016-06-14 15:09:39 +02:00
777c9839a1 Removed error message prefixes. 2016-06-14 15:06:43 +02:00
fd77b65226 Merge branch 'master' of github.com:potassco/plasp into colored-output 2016-06-14 14:59:23 +02:00
39a32a6e0a Handling untyped variables correctly in the PDDL translator. 2016-06-14 13:21:41 +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