Patrick Lühne 6167a83a99

Fixed issue with empty integrity constraints and extended unit test.

2016-11-24 17:38:44 +01:00

..

input

Made all visitors consistent in taking an Context object as an argument.

2016-11-24 00:52:28 +01:00

output

Fixed bug in color support detection.

2016-11-24 15:01:15 +01:00

Body.h

Improved output of negated literals and added unit test.

2016-11-24 16:04:53 +01:00

Context.h

Fixed continuous numbering of auxiliary variables.

2016-11-24 16:50:35 +01:00

Head.h

Improved output of negated literals and added unit test.

2016-11-24 16:04:53 +01:00

StatementVisitor.h

Fixed issue with empty integrity constraints and extended unit test.

2016-11-24 17:38:44 +01:00

Translation.h

Started implementing color output (currently for head only).

2016-11-24 02:42:32 +01:00

Utils.h

Renamed auxiliary variables according to paper draft.

2016-11-24 15:25:34 +01:00