Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Method and Description |
---|---|
protected void |
SymbolicExecutionTreeBuilder.addToBlockMap(Node node,
AbstractExecutionBlockStartNode<?> blockStartNode)
Adds the given
AbstractExecutionNode add reason for a new block to the block maps. |
protected void |
SymbolicExecutionTreeBuilder.addToBlockMap(Node node,
AbstractExecutionBlockStartNode<?> blockStartNode,
int stackSize,
SourceElement... sourceElements)
Adds the given
AbstractExecutionNode add reason for a new block to the block maps. |
Modifier and Type | Class and Description |
---|---|
class |
ExecutionBranchStatement
The default implementation of
IExecutionBranchStatement . |
class |
ExecutionLoopCondition
The default implementation of
IExecutionLoopCondition . |
class |
ExecutionLoopStatement
The default implementation of
IExecutionLoopStatement . |
Copyright © 2003-2019 The KeY-Project.