Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Class and Description |
---|---|
class |
ExecutionAllArrayIndicesVariable
An implementation of
IExecutionVariable used to query
all array indices at the same time. |
Modifier and Type | Method and Description |
---|---|
ExecutionVariable |
ExecutionValue.getVariable()
Returns the parent
IExecutionVariable . |
Constructor and Description |
---|
ExecutionValue(Node proofNode,
ExecutionVariable variable,
boolean valueUnknown,
Term value,
java.lang.String valueString,
java.lang.String typeString,
Term condition,
java.lang.String conditionString)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.