private class ProofCorrectnessMgt.DefaultMgtProofTreeListener extends ProofTreeAdapter
Modifier | Constructor and Description |
---|---|
private |
ProofCorrectnessMgt.DefaultMgtProofTreeListener() |
Modifier and Type | Method and Description |
---|---|
void |
proofClosed(ProofTreeEvent e)
The proof trees has been closed (the list of goals is empty).
|
notesChanged, proofExpanded, proofGoalRemoved, proofGoalsAdded, proofGoalsChanged, proofIsBeingPruned, proofPruned, proofStructureChanged, smtDataUpdate
private ProofCorrectnessMgt.DefaultMgtProofTreeListener()
public void proofClosed(ProofTreeEvent e)
ProofTreeAdapter
proofClosed
in interface ProofTreeListener
proofClosed
in class ProofTreeAdapter