Package | Description |
---|---|
de.uka.ilkd.key.proof.mgt |
This package contains classes for proof environments and proof management.
|
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
protected void |
ProofEnvironment.fireProofRegistered(ProofEnvironmentEvent e) |
protected void |
ProofEnvironment.fireProofUnregistered(ProofEnvironmentEvent e) |
void |
ProofEnvironmentListener.proofRegistered(ProofEnvironmentEvent event) |
void |
ProofEnvironmentListener.proofUnregistered(ProofEnvironmentEvent event) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractMediatorUserInterfaceControl.proofRegistered(ProofEnvironmentEvent event) |
void |
AbstractMediatorUserInterfaceControl.proofUnregistered(ProofEnvironmentEvent event) |
Copyright © 2003-2019 The KeY-Project.