134 Commits

Author	SHA1	Message	Date
Patrick Lühne	2964dd1309	Restricting variable stack look-up to user-defined variables.	2017-05-30 16:39:44 +02:00
Patrick Lühne	f78c0e4da5	Reordered constructor parameters of VariableDeclaration.	2017-05-30 16:27:45 +02:00
Patrick Lühne	9a3c85dc83	Dropping now unused body variable names.	2017-05-30 16:20:57 +02:00
Patrick Lühne	1c925d661b	Major refactoring to uniquely link variables to their declarations (breaks simplification and completion).	2017-05-30 03:56:35 +02:00
Patrick Lühne	ce159c7bf0	Added missing assertion.	2017-05-23 15:25:55 +02:00
Patrick Lühne	d056fabb8b	Fixes lost signs with negated 0-ary predicates.	2017-05-04 15:44:37 +02:00
Patrick Lühne	108c51cf28	Fixed Variant move semantic issue with older compilers.	2017-04-11 16:59:58 +02:00
Patrick Lühne	d999415c3d	Enforcing move semantics on all AST elements explicitly.	2017-04-11 15:55:31 +02:00
Patrick Lühne	5948d30e5c	Refactored implementation of completion.	2017-04-10 16:32:12 +02:00
Patrick Lühne	37526bcc8e	Fixed incorrect handling of implications with Booleans.	2017-04-08 20:17:01 +02:00
Patrick Lühne	8210adea7c	Added support for completion of integrity constraints.	2017-04-08 18:25:59 +02:00
Patrick Lühne	a716da4af1	Finished implementing completion (unit tests to follow).	2017-04-08 16:21:24 +02:00
Patrick Lühne	811eb3054c	Partly implemented completion.	2017-04-06 17:46:16 +02:00
Patrick Lühne	c3351206b9	Removed unused code.	2017-04-06 17:19:32 +02:00
Patrick Lühne	27b46ceee1	Added scaffold for implementing completion.	2017-04-05 18:21:38 +02:00
Patrick Lühne	838a68e230	Refactoring to prepare for implementing completion.	2017-04-05 18:15:42 +02:00
Patrick Lühne	5940fc4a3b	Removed workarounds thanks to a fix in clingo.	2017-04-01 03:13:52 +02:00
Patrick Lühne	584e631cc0	Removed now unneeded declarations.	2017-03-30 17:03:57 +02:00
Patrick Lühne	284b0fcff4	Removed unnecessary default case.	2017-03-30 00:54:20 +02:00
Patrick Lühne	3c79625685	Constrained the element’s type in set element expressions to primitive terms.	2017-03-29 23:56:58 +02:00
Patrick Lühne	d0cbdb13e5	Fixed misleading error message concerning negated, unsupported body literals.	2017-03-29 23:09:40 +02:00
Patrick Lühne	0e5ee59ea7	Simplified handling of unsupported clingo statements.	2017-03-29 21:32:11 +02:00
Patrick Lühne	f28873617d	Implemented translation of anonymous variables.	2017-03-29 21:28:46 +02:00
Patrick Lühne	a93d59c2a4	Cleaned up clingo rule head and body visitors.	2017-03-28 18:07:06 +02:00
Patrick Lühne	c63d74092e	Removed unnecessary assertion.	2017-03-28 17:33:32 +02:00
Patrick Lühne	29233a7430	Fixed incorrectly named auxiliary body variable counter.	2017-03-28 17:24:41 +02:00
Patrick Lühne	1f501c63a8	Added minor comment to negated comparisons.	2017-03-28 17:17:01 +02:00
Patrick Lühne	58a0a9d074	Fixed needless warning in release mode.	2017-03-28 17:05:24 +02:00
Patrick Lühne	cae0948763	Completed implementing simplification with deep variable replacement.	2017-03-23 15:02:06 +01:00
Patrick Lühne	ddbd4061e4	Moved recursive formula visitor to separate header file.	2017-03-23 13:28:09 +01:00
Patrick Lühne	09c2674148	Fixed incorrectly translated choice rules with multiple elements in the aggregate.	2017-03-23 02:06:19 +01:00
Patrick Lühne	283cdd2abf	Preparations for returning multiple formulas per input rule (as necessary with head aggregates).	2017-03-23 01:23:17 +01:00
Patrick Lühne	0bb79b6b23	Removed quirk that has become unnecessary with Clingo’s variants.	2017-03-23 01:02:53 +01:00
Patrick Lühne	825cd4de39	Refactored formula simplification with Clingo’s variants.	2017-03-23 00:44:10 +01:00
Patrick Lühne	fc538eb7fc	Started implementing output simplifications.	2017-03-16 15:45:55 +01:00
Patrick Lühne	ad9850fa7c	Fixed compiler error with GCC.	2017-03-15 17:08:40 +01:00
Patrick Lühne	73f67f5c17	Added back support for function symbols.	2017-03-15 17:01:09 +01:00
Patrick Lühne	2b2049171f	Fixed incorrect error message.	2017-03-15 16:49:42 +01:00
Patrick Lühne	a7e23210f6	Minor formatting.	2017-03-15 16:32:07 +01:00
Patrick Lühne	9e6d135781	Implemented explicit syntax tree representation for first-order formulas.	2017-03-15 16:00:43 +01:00
Patrick Lühne	f139e375f1	Added initial abstract syntax tree for first-order logic formulas.	2017-03-08 01:21:03 +01:00
Patrick Lühne	71e6e4107a	Minor restructuring.	2017-03-06 15:42:38 +01:00
Patrick Lühne	70cb79b233	Implemented choice rules.	2017-03-06 15:40:23 +01:00
Patrick Lühne	c819eeabfc	Minor renaming.	2017-03-06 14:51:46 +01:00
Patrick Lühne	259ec5ae2f	Fixed minor typos in include guards.	2016-11-29 03:32:50 +01:00
Patrick Lühne	a653556d77	Resolved minor warnings.	2016-11-29 02:29:54 +01:00
Patrick Lühne	a0cf6e21e4	Implemented command-line option for setting the output log priority.	2016-11-24 23:25:53 +01:00
Patrick Lühne	5816207af7	Renamed “note” to “info.”	2016-11-24 22:58:13 +01:00
Patrick Lühne	6167a83a99	Fixed issue with empty integrity constraints and extended unit test.	2016-11-24 17:38:44 +01:00
Patrick Lühne	442fa8791a	Fixed continuous numbering of auxiliary variables.	2016-11-24 16:50:35 +01:00
Patrick Lühne	fc89a65ce7	Improved output of negated literals and added unit test.	2016-11-24 16:04:53 +01:00
Patrick Lühne	cdfdd8f4ca	Added unit test to check whether escaped user variable names are correctly escaped.	2016-11-24 15:38:55 +01:00
Patrick Lühne	c24147cb2c	Renamed auxiliary variables according to paper draft.	2016-11-24 15:25:34 +01:00
Patrick Lühne	223d380a03	Indexing variables from 1 on and not 0.	2016-11-24 15:25:34 +01:00
Patrick Lühne	de34d05898	Fixed incorrect variable IDs (missing offset).	2016-11-24 15:23:10 +01:00
Patrick Lühne	f6e6b6fd60	Fixed bug in color support detection.	2016-11-24 15:01:15 +01:00
Patrick Lühne	c92de5e461	Removed unwanted newline.	2016-11-24 14:47:02 +01:00
Patrick Lühne	eff3b45089	Added Logger constructors to write output to arbitrary streams.	2016-11-24 13:54:40 +01:00
Patrick Lühne	8a587eb57a	Removed unnecessary default constructors.	2016-11-24 13:46:11 +01:00
Patrick Lühne	66acbb8965	Changed output format of auxiliary variables and treated potential name collisions.	2016-11-24 13:42:36 +01:00
Patrick Lühne	cf786e05b2	Added missing inline directive in header-only function.	2016-11-24 13:27:22 +01:00
Patrick Lühne	c760edb141	Fixed missing usages of new output format.	2016-11-24 03:36:14 +01:00
Patrick Lühne	e2a450daa6	Implemented syntax highlighting for the body part.	2016-11-24 03:31:28 +01:00
Patrick Lühne	47d7058f5a	Consistently printing operators and Booleans.	2016-11-24 03:20:22 +01:00
Patrick Lühne	098f2bf813	Implemented syntax highlighting for consequent part.	2016-11-24 03:16:37 +01:00
Patrick Lühne	e65ec9b6c1	Fixed incorrect auxiliary variable naming.	2016-11-24 03:11:36 +01:00
Patrick Lühne	3fbe8ac407	Fixed missing reset on collected head term vector.	2016-11-24 03:08:36 +01:00
Patrick Lühne	018559b8cf	Started implementing color output (currently for head only).	2016-11-24 02:42:32 +01:00
Patrick Lühne	e0d46c2e99	Fixed incorrect assertion.	2016-11-24 00:59:41 +01:00
Patrick Lühne	f704ad64fd	Fixed syntax error in assertion.	2016-11-24 00:57:35 +01:00
Patrick Lühne	6af3b7b875	Made all visitors consistent in taking an Context object as an argument.	2016-11-24 00:52:28 +01:00
Patrick Lühne	e6a9ee1cc7	Started implementing improved output utilities.	2016-11-24 00:21:01 +01:00
Patrick Lühne	225816538b	Implemented translation of negated body literals.	2016-11-23 05:00:34 +01:00
Patrick Lühne	b7c661bddc	Printing constant symbols correctly.	2016-11-23 05:00:34 +01:00
Patrick Lühne	be91498384	Removed unwanted translation of boolean literals.	2016-11-23 05:00:33 +01:00
Patrick Lühne	abd61095e2	Deleted unneeded files.	2016-11-23 05:00:33 +01:00
Patrick Lühne	29d1c15137	Implemented translation of positive body literals.	2016-11-23 05:00:33 +01:00
Patrick Lühne	ba8f68c5d4	Removed unnecessary include directive.	2016-11-23 05:00:33 +01:00
Patrick Lühne	4cbd87c0e1	Handling boolean head literals.	2016-11-23 05:00:33 +01:00
Patrick Lühne	bdc560869a	Handling negated head literals.	2016-11-23 05:00:33 +01:00
Patrick Lühne	9ccbda49b7	Implemented head translation.	2016-11-23 05:00:33 +01:00
Patrick Lühne	870be1680e	Made output of Boolean variables consistent with clingo’s input language.	2016-11-23 05:00:29 +01:00
Patrick Lühne	920f3ab210	Started implementing translation of head literals.	2016-11-22 17:58:18 +01:00
Patrick Lühne	7e7baa1aab	Wrote simple dummy parser.	2016-11-22 03:15:52 +01:00