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 | Method and Description |
---|---|
IModelSettings |
SymbolicLayoutReader.AbstractKeYlessElement.getSettings()
Returns the
IModelSettings to use. |
Modifier and Type | Method and Description |
---|---|
IModelSettings |
ISymbolicElement.getSettings()
Returns the
IModelSettings to use. |
Modifier and Type | Class and Description |
---|---|
class |
ModelSettings
Default implementation of
IModelSettings . |
Modifier and Type | Method and Description |
---|---|
IModelSettings |
AbstractElement.getSettings()
Returns the
IModelSettings to use. |
Constructor and Description |
---|
AbstractElement(IModelSettings settings)
Constructor.
|
AbstractSymbolicAssociationValueContainer(IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
IProgramVariable programVariable,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
Term arrayIndex,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
Term arrayIndex,
Term arrayStartIndex,
Term arrayEndIndex,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicEquivalenceClass(Services services,
ImmutableList<Term> terms,
IModelSettings settings)
Constructor.
|
SymbolicEquivalenceClass(Services services,
IModelSettings settings)
Constructor.
|
SymbolicLayout(IModelSettings settings,
ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses)
Constructor.
|
SymbolicObject(Services services,
Term name,
IModelSettings settings)
Constructor.
|
SymbolicState(java.lang.String name,
IModelSettings settings)
Constructor.
|
SymbolicValue(Services services,
IProgramVariable programVariable,
Term value,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicValue(Services services,
Term arrayIndex,
Term value,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicValue(Services services,
Term arrayIndex,
Term arrayStartIndex,
Term arrayEndIndex,
Term value,
Term condition,
IModelSettings settings)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.