Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution |
Modifier and Type | Method and Description |
---|---|
ExecutionVariableExtractor.ExtractedExecutionVariable[] |
ExecutionVariableExtractor.ExtractedExecutionValue.getChildVariables()
Returns contained child variables which forms complex data types.
|
Modifier and Type | Method and Description |
---|---|
protected void |
ExecutionVariableExtractor.ExtractedExecutionValue.addChildVariable(ExecutionVariableExtractor.ExtractedExecutionVariable variable)
Adds a child
ExecutionVariableExtractor.ExtractedExecutionVariable . |
Copyright © 2003-2019 The KeY-Project.