Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.util | |
de.uka.ilkd.key.symbolic_execution.util.event |
Class and Description |
---|
SideProofStore
The only instance of this class
SideProofStore.DEFAULT_INSTANCE is used
to manage performed side proofs. |
SideProofStore.Entry
An
SideProofStore.Entry of a SideProofStore . |
SymbolicExecutionUtil.ContractPostOrExcPostExceptionVariableResult |
SymbolicExecutionUtil.SiteProofVariableValueInput
Helper class which represents the return value of
ExecutionMethodReturn#createExtractReturnVariableValueSequent(TypeReference, ReferencePrefix, Node, IProgramVariable) and
ExecutionMethodReturn#createExtractVariableValueSequent(IExecutionContext, Node, IProgramVariable) . |
Class and Description |
---|
SideProofStore
The only instance of this class
SideProofStore.DEFAULT_INSTANCE is used
to manage performed side proofs. |
SideProofStore.Entry
An
SideProofStore.Entry of a SideProofStore . |
Copyright © 2003-2019 The KeY-Project.