public static class SymbolicExecutionUtil.SiteProofVariableValueInput
extends java.lang.Object
ExecutionMethodReturn#createExtractReturnVariableValueSequent(TypeReference, ReferencePrefix, Node, IProgramVariable)
and
ExecutionMethodReturn#createExtractVariableValueSequent(IExecutionContext, Node, IProgramVariable)
.Constructor and Description |
---|
SiteProofVariableValueInput(Sequent sequentToProve,
Operator operator)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Operator |
getOperator()
Returns the
Operator which is the predicate that contains the value interested in. |
Sequent |
getSequentToProve()
Returns the sequent to prove.
|
public Sequent getSequentToProve()
Copyright © 2003-2019 The KeY-Project.