Package it.unive.lisa.analysis.stability

Class Summary

Class	Description
Stability<V extends it.unive.lisa.analysis.value.ValueDomain<V>>	Implementation of the stability abstract domain (yet to appear publicly).
Trend	A single-variable numerical trend.