Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.event | |
de.uka.ilkd.key.proof.io.consistency | |
de.uka.ilkd.key.ui |
Class and Description |
---|
ProofDisposedEvent
An event thrown by a
Proof and observed via a ProofDisposedListener . |
ProofDisposedListener
Observes a
Proof . |
Class and Description |
---|
ProofDisposedEvent
An event thrown by a
Proof and observed via a ProofDisposedListener . |
ProofDisposedListener
Observes a
Proof . |
Class and Description |
---|
ProofDisposedEvent
An event thrown by a
Proof and observed via a ProofDisposedListener . |
Class and Description |
---|
ProofDisposedEvent
An event thrown by a
Proof and observed via a ProofDisposedListener . |
ProofDisposedListener
Observes a
Proof . |
Class and Description |
---|
ProofDisposedEvent
An event thrown by a
Proof and observed via a ProofDisposedListener . |
ProofDisposedListener
Observes a
Proof . |
Copyright © 2003-2019 The KeY-Project.