Package it.unive.lisa.analysis.nonrelational.value

Interface NonRelationalValueDomain<T extends NonRelationalValueDomain<T>>

Type Parameters:

T - the concrete type of the domain

All Superinterfaces:

Lattice<T>, NonRelationalDomain<T,ValueExpression,ValueEnvironment<T>>, NonRelationalElement<T,ValueExpression,ValueEnvironment<T>>, SemanticEvaluator

All Known Implementing Classes:

BaseNonRelationalValueDomain, IntegerConstantPropagation, Interval, Parity, Sign

public interface NonRelationalValueDomain<T extends NonRelationalValueDomain<T>>
extends NonRelationalDomain<T,ValueExpression,ValueEnvironment<T>>

A non-relational value domain, that is able to compute the value of a ValueExpression by knowing the values of all program variables. Instances of this class can be wrapped inside an ValueEnvironment to represent abstract values of individual Identifiers.

Field Summary

Fields inherited from interface it.unive.lisa.analysis.Lattice

BOTTOM_REPR, BOTTOM_STRING, TOP_REPR, TOP_STRING

Method Summary

Methods inherited from interface it.unive.lisa.analysis.Lattice

bottom, isBottom, isTop, lessOrEqual, lub, top, widening

Methods inherited from interface it.unive.lisa.analysis.nonrelational.NonRelationalDomain

eval

Methods inherited from interface it.unive.lisa.analysis.nonrelational.NonRelationalElement

assume, glb, representation, satisfies, variable

Methods inherited from interface it.unive.lisa.analysis.SemanticEvaluator

canProcess, tracksIdentifiers