Package it.unive.lisa.symbolic.value

Interface Summary

Interface	Description
Operator	An operator that causes a transformation of one or more SymbolicExpressions.

Class Summary

Class	Description
BinaryExpression	A bynary expression that applies a BinaryOperator to two SymbolicExpressions.
Constant	A constant value.
HeapLocation	An identifier of a synthetic program variable that represents a resolved memory location.
Identifier	An identifier of a program variable, representing either a program variable (as an instance of Variable), or a resolved memory location (as an instance of HeapLocation).
MemoryPointer	A memory pointer to a heap location.
NullConstant	A Constant that represent the null value.
OutOfScopeIdentifier	An identifier outside the current scope of the call, that is, in a method that is in the call stack but not the last one.
PushAny	An expression converting that push any possible value on the stack.
Skip	An expression that does nothing.
TernaryExpression	A bynary expression that applies a TernaryExpression to three SymbolicExpressions.
UnaryExpression	A unary expression that applies a UnaryOperator to a SymbolicExpression.
ValueExpression	A symbolic expression that represents an operation on the program's state.
Variable	An identifier of a real program variable.