2 Commits

Author	SHA1	Message	Date
Patrick Lühne	2372eb24c4	Refactor predicate representation ... This refactoring separates predicates from their declarations. The purpose of this is to avoid duplicating properties specific to the predicate declaration and not its occurrences in the program.	2018-04-20 16:37:47 +02:00
Patrick Lühne	14abc37116	Implemented #show statements for completed output.	2017-06-05 03:02:22 +02:00