Package it.unive.lisa.analysis.dataflow

Interface Summary

Interface	Description
DataflowElement<D extends DataflowDomain<D,E>,E extends DataflowElement<D,E>>	An element of the dataflow domain, that contains a collection of Identifiers in its definition.

Class Summary

Class	Description
DataflowDomain<D extends DataflowDomain<D,E>,E extends DataflowElement<D,E>>	A dataflow domain that collects instances of DataflowElement.
DefiniteDataflowDomain<E extends DataflowElement<DefiniteDataflowDomain<E>,E>>	A DataflowDomain for definite dataflow analysis.
PossibleDataflowDomain<E extends DataflowElement<PossibleDataflowDomain<E>,E>>	A DataflowDomain for possible dataflow analysis.