class DefaultGoalChooser.ProofTreeObserver extends ProofTreeAdapter
Constructor and Description |
---|
ProofTreeObserver() |
Modifier and Type | Method and Description |
---|---|
void |
proofPruned(ProofTreeEvent e)
The proof tree has been pruned under the node mentioned in the
ProofTreeEvent.
|
notesChanged, proofClosed, proofExpanded, proofGoalRemoved, proofGoalsAdded, proofGoalsChanged, proofIsBeingPruned, proofStructureChanged, smtDataUpdate
public void proofPruned(ProofTreeEvent e)
proofPruned
in interface ProofTreeListener
proofPruned
in class ProofTreeAdapter