| Interface | Description |
|---|---|
| IModelSettings |
Provides the settings used to construct a symbolic object model.
|
| ISymbolicAssociation |
Represents an association of an
ISymbolicState or ISymbolicObject
which is a reference to an ISymbolicObject. |
| ISymbolicAssociationValueContainer |
This interface is not instantiated directly because it defines only the
common behavior of
ISymbolicState and ISymbolicObject which
is to contain associations (references to other ISymbolicObjects)
and values (local variables of simple types). |
| ISymbolicElement |
Defines the basic methods and properties each element in an
symbolic object model has to have.
|
| ISymbolicEquivalenceClass |
An equivalence class which defines which
Terms represent
the same ISymbolicObject in an ISymbolicLayout. |
| ISymbolicLayout |
This interface represents the root element of a symbolic memory layout.
|
| ISymbolicObject |
Represents a symbolic object in an
ISymbolicLayout. |
| ISymbolicState |
Represents the symbolic state of an
ISymbolicLayout. |
| ISymbolicValue |
Represents a variable of an
ISymbolicState or ISymbolicObject
which contains a value of a primitive type. |