Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.model | |
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Method and Description |
---|---|
ITreeSettings |
ExecutionNodeReader.AbstractKeYlessExecutionElement.getSettings()
Returns the
ITreeSettings to use. |
Modifier and Type | Method and Description |
---|---|
ITreeSettings |
IExecutionElement.getSettings()
Returns the
ITreeSettings to use. |
Modifier and Type | Class and Description |
---|---|
class |
TreeSettings
The default implementation of
ITreeSettings . |
Modifier and Type | Method and Description |
---|---|
ITreeSettings |
AbstractExecutionElement.getSettings()
Returns the
ITreeSettings to use. |
Constructor and Description |
---|
AbstractExecutionBlockStartNode(ITreeSettings settings,
Node proofNode)
Constructor.
|
AbstractExecutionElement(ITreeSettings settings,
Node proofNode)
Constructor.
|
AbstractExecutionMethodReturn(ITreeSettings settings,
Node proofNode,
ExecutionMethodCall methodCall)
Constructor.
|
AbstractExecutionNode(ITreeSettings settings,
Node proofNode)
Constructor.
|
AbstractExecutionValue(ITreeSettings settings,
Node proofNode,
IExecutionVariable variable,
Term condition,
Term value)
Constructor.
|
AbstractExecutionVariable(ITreeSettings settings,
Node proofNode,
IProgramVariable programVariable,
IExecutionValue parentValue,
Term arrayIndex,
Term additionalCondition,
PosInOccurrence modalityPIO)
Constructor.
|
ExecutionAuxiliaryContract(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionBranchCondition(ITreeSettings settings,
Node proofNode,
java.lang.String additionalBranchLabel)
Constructor.
|
ExecutionBranchStatement(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionConstraint(ITreeSettings settings,
Node proofNode,
PosInOccurrence modalityPIO,
Term term)
Constructor.
|
ExecutionExceptionalMethodReturn(ITreeSettings settings,
Node proofNode,
ExecutionMethodCall methodCall)
Constructor.
|
ExecutionJoin(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionLoopCondition(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionLoopInvariant(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionLoopStatement(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionMethodCall(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionMethodReturn(ITreeSettings settings,
Node proofNode,
ExecutionMethodCall methodCall)
Constructor.
|
ExecutionMethodReturnValue(ITreeSettings settings,
Node proofNode,
PosInOccurrence modalityPIO,
Term returnValue,
Term condition)
Constructor.
|
ExecutionOperationContract(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionStart(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionStatement(ITreeSettings settings,
Node proofNode)
Constructor.
|
ExecutionTermination(ITreeSettings settings,
Node proofNode,
IProgramVariable exceptionVariable,
IExecutionTermination.TerminationKind terminationKind)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.