Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution |
Modifier and Type | Method and Description |
---|---|
protected void |
SymbolicLayoutExtractor.createObjectForTerm(java.util.Map<Term,SymbolicObject> objects,
ImmutableList<ISymbolicEquivalenceClass> equivalentClasses,
SymbolicLayout result,
Term objectTerm)
Creates for the object defined by the given
Term an SymbolicObject instance if not already available. |
Copyright © 2003-2019 The KeY-Project.