Patrick Lühne 4a57a9e502 Prefix integer variables with “N” ... Instead of suffixing integer variables with “i,” this prefixes them with “N” instead to make it consistent with common mathematical notations.		2018-04-22 21:10:20 +02:00
..
output	Prefix integer variables with “N”	2018-04-22 21:10:20 +02:00
AST.h	Rename “general” domain to “noninteger”	2018-04-22 14:57:16 +02:00
ASTCopy.h	Remove Constant class	2018-04-20 16:37:48 +02:00
ASTForward.h	Split functions from their declaration	2018-04-20 16:37:48 +02:00
ASTUtils.h	Refactor predicate representation	2018-04-20 16:37:47 +02:00
ASTVisitors.h	Remove Constant class	2018-04-20 16:37:48 +02:00
Body.h	Split functions from their declaration	2018-04-20 16:37:48 +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-20 16:37:49 +02:00
Equality.h	Consolidate commonly used enum classes	2018-04-21 17:34:52 +02:00
Exception.h	Added missing error message when input file does not exist.	2017-06-01 03:29:09 +02:00
Head.h	Refactor predicate representation	2018-04-20 16:37:47 +02:00
HiddenPredicateElimination.h	Refactor predicate representation	2018-04-20 16:37:47 +02:00
IntegerVariableDetection.h	Implement basic integer variable detection	2018-04-20 16:37:48 +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	Consolidate commonly used enum classes	2018-04-21 17:34:52 +02:00
SimplificationVisitors.h	Consolidate commonly used enum classes	2018-04-21 17:34:52 +02:00
StatementVisitor.h	Move Domain class to Utils header	2018-04-22 14:56:58 +02:00
Term.h	Split functions from their declaration	2018-04-20 16:37:48 +02:00
Translation.h	Started implementing color output (currently for head only).	2016-11-24 02:42:32 +01:00
Type.h	Fix integer detection	2018-04-22 17:04:15 +02:00
Utils.h	Prefix integer variables with “N”	2018-04-22 21:10:20 +02:00