Hierarchy For Package it.unive.lisa.symbolic.value

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.symbolic.SymbolicExpression (implements it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.symbolic.value.ValueExpression
      • it.unive.lisa.symbolic.value.BinaryExpression
      • it.unive.lisa.symbolic.value.Constant
        • it.unive.lisa.symbolic.value.NullConstant
      • it.unive.lisa.symbolic.value.Identifier
        • it.unive.lisa.symbolic.value.HeapLocation
        • it.unive.lisa.symbolic.value.MemoryPointer
        • it.unive.lisa.symbolic.value.OutOfScopeIdentifier
        • it.unive.lisa.symbolic.value.Variable
      • it.unive.lisa.symbolic.value.PushAny
      • it.unive.lisa.symbolic.value.PushInv
      • it.unive.lisa.symbolic.value.Skip
      • it.unive.lisa.symbolic.value.TernaryExpression
      • it.unive.lisa.symbolic.value.UnaryExpression

Interface Hierarchy

• it.unive.lisa.symbolic.value.Operator