Patrick Lühne
|
4ed4458f1b
|
Fixed typos in error messages.
|
2017-06-04 04:43:07 +02:00 |
Patrick Lühne
|
0d8b1e94da
|
Refactored error handling.
|
2017-05-31 18:03:19 +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
|
a93d59c2a4
|
Cleaned up clingo rule head and body visitors.
|
2017-03-28 18:07:06 +02:00 |
Patrick Lühne
|
825cd4de39
|
Refactored formula simplification with Clingo’s variants.
|
2017-03-23 00:44:10 +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
|
70cb79b233
|
Implemented choice rules.
|
2017-03-06 15:40:23 +01:00 |
Patrick Lühne
|
c819eeabfc
|
Minor renaming.
|
2017-03-06 14:51:46 +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
|
223d380a03
|
Indexing variables from 1 on and not 0.
|
2016-11-24 15:25:34 +01:00 |
Patrick Lühne
|
47d7058f5a
|
Consistently printing operators and Booleans.
|
2016-11-24 03:20:22 +01:00 |
Patrick Lühne
|
098f2bf813
|
Implemented syntax highlighting for consequent part.
|
2016-11-24 03:16:37 +01:00 |
Patrick Lühne
|
018559b8cf
|
Started implementing color output (currently for head only).
|
2016-11-24 02:42:32 +01:00 |
Patrick Lühne
|
f704ad64fd
|
Fixed syntax error in assertion.
|
2016-11-24 00:57:35 +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
|
29d1c15137
|
Implemented translation of positive body literals.
|
2016-11-23 05:00:33 +01:00 |
Patrick Lühne
|
ba8f68c5d4
|
Removed unnecessary include directive.
|
2016-11-23 05:00:33 +01:00 |
Patrick Lühne
|
4cbd87c0e1
|
Handling boolean head literals.
|
2016-11-23 05:00:33 +01:00 |
Patrick Lühne
|
bdc560869a
|
Handling negated head literals.
|
2016-11-23 05:00:33 +01:00 |
Patrick Lühne
|
9ccbda49b7
|
Implemented head translation.
|
2016-11-23 05:00:33 +01:00 |