Class and 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 ISymbolicObject s)
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
Term s 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. |
Class and Description |
---|
ISymbolicEquivalenceClass
An equivalence class which defines which
Term s represent
the same ISymbolicObject in an ISymbolicLayout . |
ISymbolicLayout
This interface represents the root element of a symbolic memory layout.
|
Class and Description |
---|
ISymbolicEquivalenceClass
An equivalence class which defines which
Term s represent
the same ISymbolicObject in an ISymbolicLayout . |
ISymbolicLayout
This interface represents the root element of a symbolic memory layout.
|
Class and 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 ISymbolicObject s)
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
Term s represent
the same ISymbolicObject in an ISymbolicLayout . |
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. |
Class and 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 ISymbolicObject s)
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
Term s 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. |
Class and Description |
---|
ISymbolicEquivalenceClass
An equivalence class which defines which
Term s represent
the same ISymbolicObject in an ISymbolicLayout . |
Copyright © 2003-2019 The KeY-Project.