Patrick Lühne
|
b918da3c49
|
Minor formatting.
|
2017-06-01 00:19:09 +02:00 |
Patrick Lühne
|
0d8b1e94da
|
Refactored error handling.
|
2017-05-31 18:03:19 +02:00 |
Patrick Lühne
|
664a57ec68
|
Fixed issue with multi-layer variable stacks.
|
2017-05-30 18:09:33 +02:00 |
Patrick Lühne
|
9a3c85dc83
|
Dropping now unused body variable names.
|
2017-05-30 16:20:57 +02:00 |
Patrick Lühne
|
1c925d661b
|
Major refactoring to uniquely link variables to their declarations (breaks simplification and completion).
|
2017-05-30 03:56:35 +02:00 |
Patrick Lühne
|
d056fabb8b
|
Fixes lost signs with negated 0-ary predicates.
|
2017-05-04 15:44:37 +02:00 |
Patrick Lühne
|
37526bcc8e
|
Fixed incorrect handling of implications with Booleans.
|
2017-04-08 20:17:01 +02:00 |
Patrick Lühne
|
d0cbdb13e5
|
Fixed misleading error message concerning negated, unsupported body literals.
|
2017-03-29 23:09:40 +02:00 |
Patrick Lühne
|
a93d59c2a4
|
Cleaned up clingo rule head and body visitors.
|
2017-03-28 18:07:06 +02:00 |
Patrick Lühne
|
29233a7430
|
Fixed incorrectly named auxiliary body variable counter.
|
2017-03-28 17:24:41 +02:00 |
Patrick Lühne
|
1f501c63a8
|
Added minor comment to negated comparisons.
|
2017-03-28 17:17:01 +02:00 |
Patrick Lühne
|
58a0a9d074
|
Fixed needless warning in release mode.
|
2017-03-28 17:05:24 +02:00 |
Patrick Lühne
|
825cd4de39
|
Refactored formula simplification with Clingo’s variants.
|
2017-03-23 00:44:10 +01:00 |
Patrick Lühne
|
a7e23210f6
|
Minor formatting.
|
2017-03-15 16:32:07 +01:00 |
Patrick Lühne
|
9e6d135781
|
Implemented explicit syntax tree representation for first-order formulas.
|
2017-03-15 16:00:43 +01:00 |
Patrick Lühne
|
a653556d77
|
Resolved minor warnings.
|
2016-11-29 02:29:54 +01:00 |
Patrick Lühne
|
fc89a65ce7
|
Improved output of negated literals and added unit test.
|
2016-11-24 16:04:53 +01:00 |
Patrick Lühne
|
de34d05898
|
Fixed incorrect variable IDs (missing offset).
|
2016-11-24 15:23:10 +01:00 |
Patrick Lühne
|
c760edb141
|
Fixed missing usages of new output format.
|
2016-11-24 03:36:14 +01:00 |
Patrick Lühne
|
e2a450daa6
|
Implemented syntax highlighting for the body part.
|
2016-11-24 03:31:28 +01:00 |
Patrick Lühne
|
e0d46c2e99
|
Fixed incorrect assertion.
|
2016-11-24 00:59:41 +01:00 |
Patrick Lühne
|
6af3b7b875
|
Made all visitors consistent in taking an Context object as an argument.
|
2016-11-24 00:52:28 +01:00 |
Patrick Lühne
|
225816538b
|
Implemented translation of negated body literals.
|
2016-11-23 05:00:34 +01:00 |
Patrick Lühne
|
b7c661bddc
|
Printing constant symbols correctly.
|
2016-11-23 05:00:34 +01:00 |
Patrick Lühne
|
be91498384
|
Removed unwanted translation of boolean literals.
|
2016-11-23 05:00:33 +01:00 |
Patrick Lühne
|
29d1c15137
|
Implemented translation of positive body literals.
|
2016-11-23 05:00:33 +01:00 |