Patrick Lühne 0e5ee59ea7 Simplified handling of unsupported clingo statements.

2017-03-29 21:32:11 +02:00

..

input

Fixed minor typos in include guards.

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

output

Implemented translation of anonymous variables.

2017-03-29 21:28:46 +02: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

Cleaned up clingo rule head and body visitors.

2017-03-28 18:07:06 +02:00

Context.h

Implemented translation of anonymous variables.

2017-03-29 21:28:46 +02:00

Head.h

Cleaned up clingo rule head and body visitors.

2017-03-28 18:07:06 +02:00

Simplification.h

Refactored formula simplification with Clingo’s variants.

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

StatementVisitor.h

Simplified handling of unsupported clingo statements.

2017-03-29 21:32:11 +02:00

Term.h

Implemented translation of anonymous variables.

2017-03-29 21:28:46 +02:00

Translation.h

Started implementing color output (currently for head only).

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

Utils.h

Implemented translation of anonymous variables.

2017-03-29 21:28:46 +02:00