Package it.unive.lisa.analysis.value

Interface Summary

Interface	Description
TypeDomain<T extends TypeDomain<T>>	An domain that is able to determine the runtime types of an expression given the runtime types of its operands.
ValueDomain<D extends ValueDomain<D>>	A semantic domain that can evaluate the semantic of statements that operate on values, and not on memory locations.