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