Patrick Lühne
921d5ed4f0
Remove unnecessary include directives
2018-04-28 00:16:55 +02:00
Patrick Lühne
e0509f725a
Replace SimplificationResult with OperationResult
...
This replaces the SimplificationResult enum class with OperationResult.
The rationale is that this type, which just reports whether or not an
operation actually changed the input data, is not simplification-
specific and will be used for integer variable detection as well.
2018-04-27 23:37:13 +02:00
Patrick Lühne
f7d99c82fa
Move Tristate class to Utils header
...
The Tristate class (representing truth values that are either true,
false, or unknown) will be used at multiple ends. This moves it to a
separate header in order to reuse it properly.
2018-04-27 23:19:42 +02:00
Patrick Lühne
663c59c470
Removed unused function.
2017-06-01 03:43:18 +02:00
Patrick Lühne
0d8b1e94da
Refactored error handling.
2017-05-31 18:03:19 +02:00
Patrick Lühne
7aad8380d1
Refactored logging interface.
2017-05-30 17:19:26 +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
838a68e230
Refactoring to prepare for implementing completion.
2017-04-05 18:15:42 +02:00
Patrick Lühne
f28873617d
Implemented translation of anonymous variables.
2017-03-29 21:28:46 +02:00
Patrick Lühne
c24147cb2c
Renamed auxiliary variables according to paper draft.
2016-11-24 15:25:34 +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
6af3b7b875
Made all visitors consistent in taking an Context object as an argument.
2016-11-24 00:52:28 +01:00
Patrick Lühne
29d1c15137
Implemented translation of positive body 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
7e7baa1aab
Wrote simple dummy parser.
2016-11-22 03:15:52 +01:00