Package it.unive.lisa.analysis.nonrelational

Interface Summary

Interface	Description
NonRelationalDomain<T extends NonRelationalDomain<T,E,F>,E extends SymbolicExpression,F extends Environment<F,E,T>>	A NonRelationalElement that models the standard concept of non-relational abstract domain, and that is able to compute the value of a SymbolicExpressions of type E by knowing the values of all program variables.
NonRelationalElement<T extends NonRelationalElement<T,E,F>,E extends SymbolicExpression,F extends FunctionalLattice<F,Identifier,T>>	A non-relational domain, that is able to compute the value of a SymbolicExpressions of type E by knowing the values of all program variables.

Class Summary

Class	Description
Environment<M extends Environment<M,E,T>,E extends SymbolicExpression,T extends NonRelationalDomain<T,E,M>>	An environment for a NonRelationalDomain, that maps Identifiers to instances of such domain.
VariableLift<M extends VariableLift<M,E,T>,E extends SymbolicExpression,T extends NonRelationalElement<T,E,M>>	A SemanticDomain implemented as a lift for a NonRelationalElements, that maps Identifiers to instances of such domain.