anthem/include/anthem
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