public interface ISymbolicLayout extends ISymbolicElement
This interface represents the root element of a symbolic memory layout.
A symbolic memory layout defines how a heap and stack looks like and which objects
are the same (equivalent classes). Such memory layouts can be created
automatically via a SymbolicLayoutExtractor
and saved/loaded
via SymbolicLayoutWriter
/SymbolicLayoutReader
.
The default implementation is SymbolicLayout
.
SymbolicLayoutExtractor
,
SymbolicLayoutWriter
,
SymbolicLayoutReader
,
SymbolicLayout
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicEquivalenceClass> |
getEquivalenceClasses()
Returns the equivalence classes.
|
ImmutableList<ISymbolicObject> |
getObjects()
Returns all available symbolic objects.
|
ISymbolicState |
getState()
Returns the symbolic state.
|
getSettings
ImmutableList<ISymbolicEquivalenceClass> getEquivalenceClasses()
ISymbolicState getState()
ImmutableList<ISymbolicObject> getObjects()