patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
Files
a2c4d87852dd7f9b452ba47a2c2d65fc4ea480ac
anthem/include/anthem
History
Patrick Lühne a2c4d87852 Prefix integer variables with “N” 
This prefixes integer variables with “N” to distinguish them from
general variables in the output in analogy to common mathematical
notations.
2018-04-29 22:28:42 +02:00
..
output
Prefix integer variables with “N”
2018-04-29 22:28:42 +02:00
AST.h
Support declaring functions as integer
2018-04-28 01:48:39 +02:00
ASTCopy.h
Remove Constant class
2018-04-27 17:08:41 +02:00
ASTForward.h
Split functions from their declarations
2018-04-27 17:59:10 +02:00
ASTUtils.h
Provide function for evaluating formulas
2018-04-29 21:27:31 +02:00
ASTVisitors.h
Remove Constant class
2018-04-27 17:08:41 +02:00
Body.h
Split functions from their declarations
2018-04-27 17:59:10 +02:00
Completion.h
Implemented #show statements for completed output.
2017-06-05 03:02:22 +02:00
Context.h
Add option to turn on integer variable detection
2018-04-29 22:28:42 +02:00
Equality.h
Move Tristate class to Utils header
2018-04-27 23:19:42 +02:00
Evaluation.h
Provide function for evaluating formulas
2018-04-29 21:27:31 +02:00
Exception.h
Added missing error message when input file does not exist.
2017-06-01 03:29:09 +02:00
Head.h
Split predicates from their declarations
2018-04-27 17:55:59 +02:00
HiddenPredicateElimination.h
Split predicates from their declarations
2018-04-27 17:55:59 +02:00
IntegerVariableDetection.h
Implement integer variable detection
2018-04-29 22:28:42 +02:00
Location.h
Refactored error handling.
2017-05-31 18:03:19 +02:00
RuleContext.h
Major refactoring to uniquely link variables to their declarations (breaks simplification and completion).
2017-05-30 03:56:35 +02:00
Simplification.h
Replace SimplificationResult with OperationResult
2018-04-27 23:37:13 +02:00
SimplificationVisitors.h
Replace SimplificationResult with OperationResult
2018-04-27 23:37:13 +02:00
StatementVisitor.h
Support declaring functions as integer
2018-04-28 01:48:39 +02:00
Term.h
Split functions from their declarations
2018-04-27 17:59:10 +02:00
Translation.h
Started implementing color output (currently for head only).
2016-11-24 02:42:32 +01:00
Type.h
Provide function for evaluating formulas
2018-04-29 21:27:31 +02:00
Utils.h
Prefix integer variables with “N”
2018-04-29 22:28:42 +02:00