public interface ProofTreeListener
Modifier and Type | Method and Description |
---|---|
void |
notesChanged(ProofTreeEvent e)
|
void |
proofClosed(ProofTreeEvent e)
The proof trees has been closed (the list of goals is empty).
|
void |
proofExpanded(ProofTreeEvent e)
The node mentioned in the ProofTreeEvent has changed, and/or
there are new descendants of that node.
|
void |
proofGoalRemoved(ProofTreeEvent e)
The goal mentioned in the ProofEvent has been removed
from the list of goals.
|
void |
proofGoalsAdded(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
proofGoalsChanged(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
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 has been pruned under the node mentioned in the
ProofTreeEvent.
|
void |
proofStructureChanged(ProofTreeEvent e)
The structure of the proof has changed radically.
|
void |
smtDataUpdate(ProofTreeEvent e)
If, e.g., an SMT Solver was applied to node/goal referenced in e, then
this event occurs in order to monitor, e.g. by a dialog, the result
of the SMT solver.
|
void proofExpanded(ProofTreeEvent e)
void proofIsBeingPruned(ProofTreeEvent e)
void proofPruned(ProofTreeEvent e)
void proofStructureChanged(ProofTreeEvent e)
void proofClosed(ProofTreeEvent e)
void proofGoalRemoved(ProofTreeEvent e)
void proofGoalsAdded(ProofTreeEvent e)
void proofGoalsChanged(ProofTreeEvent e)
void smtDataUpdate(ProofTreeEvent e)
Node.getCounterExData()
void notesChanged(ProofTreeEvent e)
e
- The ProofTreeEvent
.