Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution |
Modifier and Type | Class and Description |
---|---|
class |
ExecutionNodeSymbolicLayoutExtractor
Special
SymbolicLayoutExtractor for IExecutionNode s. |
class |
ExecutionVariableExtractor
Extracts the current state and represents it as
IExecutionVariable s. |
class |
SymbolicLayoutExtractor
Instances of this class can be used to compute memory layouts
(objects with values and associations to other objects on the heap together
with objects and associations to objects on the current state of the stack)
which a given
Node of KeY's proof tree can have based on
equivalence classes (aliasing) of objects. |
Copyright © 2003-2019 The KeY-Project.