Package it.unive.lisa.analysis.representation

Class Summary

Class	Description
DomainRepresentation	A structured representation of the abstract information present in a single instance of SemanticDomain, NonRelationalDomain, DataflowElement or other types of domains.
MapRepresentation	A DomainRepresentation in the form of a key-value mapping.
PairRepresentation	A DomainRepresentation in the form of a pair of elements.
SetRepresentation	A DomainRepresentation in the form of a set of values.
StringRepresentation	A DomainRepresentation in the form of a single string element.