Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.util | |
de.uka.ilkd.key.symbolic_execution.util.event |
Modifier and Type | Method and Description |
---|---|
SideProofStore.Entry[] |
SideProofStore.getEntries()
Returns all available
SideProofStore.Entry s. |
SideProofStore.Entry |
SideProofStore.getEntry(Proof proof)
Returns the
SideProofStore.Entry for the given Proof . |
SideProofStore.Entry |
SideProofStore.getEntryAt(int index)
Returns the
SideProofStore.Entry at the given index. |
Modifier and Type | Method and Description |
---|---|
boolean |
SideProofStore.containsEntry(SideProofStore.Entry entry)
Checks if the given
SideProofStore.Entry is contained. |
Modifier and Type | Method and Description |
---|---|
void |
SideProofStore.removeEntries(java.util.Collection<SideProofStore.Entry> entries)
Removes the given
SideProofStore.Entry s. |
Modifier and Type | Method and Description |
---|---|
SideProofStore.Entry[] |
SideProofStoreEvent.getEntries()
Returns the added or removed
SideProofStore.Entry s. |
Constructor and Description |
---|
SideProofStoreEvent(SideProofStore source,
SideProofStore.Entry[] entries)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.