2 Commits

Author	SHA1	Message	Date
Patrick Lühne	63f39e5162	Provide function for evaluating formulas ... This provides a new function that can be used to evaluate formulas under partial knowledge about the individual variables’ assignments. This will be useful for testing whether formulas or subformulas become trivial under specific interpretations.	2018-04-29 21:27:31 +02:00
Patrick Lühne	811523e580	Provide term type deduction function ... This implements a function for retrieving the return type of terms, that is, both the domain to which the expression evaluates to as well as whether it’s an empty, unit, or general set with multiple values.	2018-04-29 21:20:29 +02:00