Patrick Lühne cae0948763

Completed implementing simplification with deep variable replacement.

2017-03-23 15:02:06 +01:00

..

input

Fixed minor typos in include guards.

2016-11-29 03:32:50 +01:00

output

Refactored formula simplification with Clingo’s variants.

2017-03-23 00:44:10 +01:00

AST.h

Refactored formula simplification with Clingo’s variants.

2017-03-23 00:44:10 +01:00

ASTForward.h

Removed quirk that has become unnecessary with Clingo’s variants.

2017-03-23 01:02:53 +01:00

ASTVisitors.h

Completed implementing simplification with deep variable replacement.

2017-03-23 15:02:06 +01:00

Body.h

Refactored formula simplification with Clingo’s variants.

2017-03-23 00:44:10 +01:00

Context.h

Started implementing output simplifications.

2017-03-16 15:45:55 +01:00

Head.h

Refactored formula simplification with Clingo’s variants.

2017-03-23 00:44:10 +01:00

Simplification.h

Refactored formula simplification with Clingo’s variants.

2017-03-23 00:44:10 +01:00

StatementVisitor.h

Fixed incorrectly translated choice rules with multiple elements in the aggregate.

2017-03-23 02:06:19 +01:00

Term.h

Refactored formula simplification with Clingo’s variants.

2017-03-23 00:44:10 +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