Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.object_model | |
de.uka.ilkd.key.symbolic_execution.object_model.impl |
Modifier and Type | Class and Description |
---|---|
static class |
SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer
An implementation of
ISymbolicAssociationValueContainer which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.AbstractKeYlessElement
An implementation of
ISymbolicElement which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.KeYlessAssociation
An implementation of
ISymbolicAssociation which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.KeYlessEquivalenceClass
An implementation of
ISymbolicEquivalenceClass which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.KeYlessLayout
An implementation of
ISymbolicLayout which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.KeYlessObject
An implementation of
ISymbolicObject which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.KeYlessState
An implementation of
ISymbolicState which is independent
from KeY and provides such only children and default attributes. |
static class |
SymbolicLayoutReader.KeYlessValue
An implementation of
ISymbolicValue which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Interface and Description |
---|---|
interface |
ISymbolicAssociation
Represents an association of an
ISymbolicState or ISymbolicObject
which is a reference to an ISymbolicObject . |
interface |
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). |
interface |
ISymbolicEquivalenceClass
An equivalence class which defines which
Term s represent
the same ISymbolicObject in an ISymbolicLayout . |
interface |
ISymbolicLayout
This interface represents the root element of a symbolic memory layout.
|
interface |
ISymbolicObject
Represents a symbolic object in an
ISymbolicLayout . |
interface |
ISymbolicState
Represents the symbolic state of an
ISymbolicLayout . |
interface |
ISymbolicValue
Represents a variable of an
ISymbolicState or ISymbolicObject
which contains a value of a primitive type. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractElement
Default implementation of
ISymbolicElement . |
class |
AbstractSymbolicAssociationValueContainer
Default implementation of
ISymbolicAssociationValueContainer . |
class |
SymbolicAssociation
Default implementation of
ISymbolicAssociation . |
class |
SymbolicEquivalenceClass
Default implementation of
ISymbolicEquivalenceClass . |
class |
SymbolicLayout
Default implementation of
ISymbolicLayout . |
class |
SymbolicObject
Default implementation of
ISymbolicObject . |
class |
SymbolicState
Default implementation of
ISymbolicState . |
class |
SymbolicValue
Default implementation of
ISymbolicValue . |
Copyright © 2003-2019 The KeY-Project.