107 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	1917f18b6a	Added back simplification support.	2017-05-30 04:06:56 +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	c2f8762dc1	Removed unnecessary CMake directive.	2017-05-08 14:41:02 +02:00
Patrick Lühne	6e7abb283e	Fixed minor incorrect variable references.	2017-04-10 17:50:19 +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	a23e248e7b	Omitting the universal quantifier for completion if predicate is 0-ary.	2017-04-08 14:51:16 +02:00
Patrick Lühne	811eb3054c	Partly implemented completion.	2017-04-06 17:46:16 +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	3c79625685	Constrained the element’s type in set element expressions to primitive terms.	2017-03-29 23:56:58 +02:00
Patrick Lühne	dbb106c40b	Fixed typo in comment.	2017-03-29 23:18:59 +02:00
Patrick Lühne	dc0f700c46	Added missing subdirectory to CMake configuration.	2017-03-29 21:32:33 +02:00
Patrick Lühne	3df4d5a2a2	Fixed incorrectly simplified rules with comparisons.	2017-03-28 17:13:15 +02:00
Patrick Lühne	cae0948763	Completed implementing simplification with deep variable replacement.	2017-03-23 15:02:06 +01:00
Patrick Lühne	42e0217409	Applying simplification to more cases.	2017-03-23 14:40:21 +01:00
Patrick Lühne	574130a8ec	Minor clarifications in simplification code annotations.	2017-03-23 13:44:55 +01:00
Patrick Lühne	188a24f5b5	Added some annotations to the simplification code.	2017-03-23 13:39:34 +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	13ed0b013a	Made substitution of variables with terms fully recursive.	2017-03-23 01:00:54 +01:00
Patrick Lühne	825cd4de39	Refactored formula simplification with Clingo’s variants.	2017-03-23 00:44:10 +01:00
Patrick Lühne	bf8cf75369	Implemented advanced simplification (some formulas not covered yet).	2017-03-17 02:42:48 +01:00
Patrick Lühne	fc538eb7fc	Started implementing output simplifications.	2017-03-16 15:45:55 +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	afe49dce6c	Added MapBox variant to include path.	2017-03-08 00:06:31 +01:00
Patrick Lühne	a653556d77	Resolved minor warnings.	2016-11-29 02:29:54 +01:00
Patrick Lühne	4d533dfd0b	Minor formatting.	2016-11-24 23:38:06 +01:00
Patrick Lühne	4bd95fe163	Printing all status messages to std::cerr.	2016-11-24 23:37:15 +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	78511d9929	Added CMake option for statically linking the binary.	2016-11-24 22:46:44 +01:00
Patrick Lühne	384cd8677c	Minor formatting of logged messages.	2016-11-24 17:33:09 +01:00
Patrick Lühne	712530150f	Fixed incorrect output of functions and added unit test.	2016-11-24 16:51:17 +01:00
Patrick Lühne	faf6cd0f6c	Fixed incorrect output of #sup and added unit test.	2016-11-24 15:51:25 +01:00
Patrick Lühne	c92de5e461	Removed unwanted newline.	2016-11-24 14:47:02 +01:00
Patrick Lühne	83737755fc	Changed Logger to print all status messages to std::cerr and not just errors.	2016-11-24 13:55:18 +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	4795284413	Removed unintended commented-out code.	2016-11-24 13:43:32 +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	c760edb141	Fixed missing usages of new output format.	2016-11-24 03:36:14 +01:00
Patrick Lühne	098f2bf813	Implemented syntax highlighting for consequent part.	2016-11-24 03:16:37 +01:00
Patrick Lühne	6f5f7eace7	Changed format of empty pool expression.	2016-11-24 02:45:16 +01:00
Patrick Lühne	b3da15c537	Changed formatting of and/or/xor operators.	2016-11-24 02:44:58 +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	6af3b7b875	Made all visitors consistent in taking an Context object as an argument.	2016-11-24 00:52:28 +01:00
Patrick Lühne	1103f5cbf1	Printing messages only if message has at least a specified priority.	2016-11-24 00:24:35 +01:00
Patrick Lühne	93597f16a0	Added default message format and text.	2016-11-24 00:24:19 +01:00
Patrick Lühne	e6a9ee1cc7	Started implementing improved output utilities.	2016-11-24 00:21:01 +01:00
Patrick Lühne	7e7baa1aab	Wrote simple dummy parser.	2016-11-22 03:15:52 +01:00
Patrick Lühne	3100f4a733	Initial commit.	2016-11-21 17:53:46 +01:00