class GUIProofTreeModel.ProofTreeListener extends ProofTreeAdapter
Modifier and Type | Field and Description |
---|---|
private Node |
pruningInProcess |
Constructor and Description |
---|
ProofTreeListener() |
Modifier and Type | Method and Description |
---|---|
void |
proofGoalRemoved(ProofTreeEvent e)
The goal mentioned in the ProofTreeEvent has been removed
from the list of goals.
|
void |
proofIsBeingPruned(ProofTreeEvent e)
The proof tree under the node mentioned in the ProofTreeEvent
is in pruning phase.
|
void |
proofPruned(ProofTreeEvent e)
The proof tree under the node mentioned in the ProofTreeEvent
is in pruning phase.
|
void |
proofStructureChanged(ProofTreeEvent e)
The structure of the proof has changed radically.
|
notesChanged, proofClosed, proofExpanded, proofGoalsAdded, proofGoalsChanged, smtDataUpdate
private Node pruningInProcess
public void proofStructureChanged(ProofTreeEvent e)
ProofTreeAdapter
proofStructureChanged
in interface ProofTreeListener
proofStructureChanged
in class ProofTreeAdapter
public void proofIsBeingPruned(ProofTreeEvent e)
ProofTreeAdapter
proofIsBeingPruned
in interface ProofTreeListener
proofIsBeingPruned
in class ProofTreeAdapter
public void proofPruned(ProofTreeEvent e)
proofPruned
in interface ProofTreeListener
proofPruned
in class ProofTreeAdapter
public void proofGoalRemoved(ProofTreeEvent e)
ProofTreeAdapter
proofGoalRemoved
in interface ProofTreeListener
proofGoalRemoved
in class ProofTreeAdapter