Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Method and Description |
---|---|
ExecutionNodeSymbolicLayoutExtractor |
AbstractExecutionNode.getLayoutExtractor()
Returns the used
ExecutionNodeSymbolicLayoutExtractor . |
protected ExecutionNodeSymbolicLayoutExtractor |
AbstractExecutionNode.lazyComputeLayoutExtractor()
Instantiates the used
ExecutionNodeSymbolicLayoutExtractor lazily
when AbstractExecutionNode.getLayoutExtractor() is called the first time. |
Copyright © 2003-2019 The KeY-Project.