Patrick Lühne 108c51cf28

Fixed Variant move semantic issue with older compilers.

2017-04-11 16:59:58 +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

Fixed Variant move semantic issue with older compilers.

2017-04-11 16:59:58 +02:00

ASTForward.h

Removed now unneeded declarations.

2017-03-30 17:03:57 +02:00

ASTUtils.h

Refactored implementation of completion.

2017-04-10 16:32:12 +02:00

ASTVisitors.h

Completed implementing simplification with deep variable replacement.

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

Body.h

Fixed incorrect handling of implications with Booleans.

2017-04-08 20:17:01 +02:00

Completion.h

Added scaffold for implementing completion.

2017-04-05 18:21:38 +02:00

Context.h

Refactoring to prepare for implementing completion.

2017-04-05 18:15:42 +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

Refactoring to prepare for implementing completion.

2017-04-05 18:15:42 +02:00

Term.h

Removed unnecessary default case.

2017-03-30 00:54:20 +02:00

Translation.h

Started implementing color output (currently for head only).

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

Utils.h

Refactoring to prepare for implementing completion.

2017-04-05 18:15:42 +02:00