anthem/include/anthem
Patrick Lühne 0ce4e54d1a
Fix precedence of interval operator
The interval operator has a lower precedence than, for example, binary
operations. This was unexpected and incorrectly implemented in the
output functions. For now, this is fixed by enclosing intervals in
parentheses to avoid misinterpretations.

The existing unit tests are adjusted to the updated output format.
2018-05-04 17:06:28 +02:00
..
output Fix precedence of interval operator 2018-05-04 17:06:28 +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 Fix equality check for binary operations 2018-05-03 16:52:29 +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