class GoalList.GoalListModel.GoalListProofTreeListener extends java.lang.Object implements ProofTreeListener, java.io.Serializable
Modifier and Type | Field and Description |
---|---|
private boolean |
pruningInProcess |
private static long |
serialVersionUID |
Constructor and Description |
---|
GoalListProofTreeListener() |
Modifier and Type | Method and Description |
---|---|
void |
notesChanged(ProofTreeEvent e)
|
void |
proofClosed(ProofTreeEvent e)
invoked if all goals of the proof are closed
|
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)
invoked if the list of goals changed (goals were added, removed
etc.
|
void |
proofGoalsAdded(ProofTreeEvent e)
invoked if the current goal of the proof changed
|
void |
proofGoalsChanged(ProofTreeEvent e)
invoked if the current goal of the proof changed
|
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.
|
private static final long serialVersionUID
private boolean pruningInProcess
public void proofExpanded(ProofTreeEvent e)
ProofTreeListener
proofExpanded
in interface ProofTreeListener
public void proofClosed(ProofTreeEvent e)
proofClosed
in interface ProofTreeListener
public void proofIsBeingPruned(ProofTreeEvent e)
ProofTreeListener
proofIsBeingPruned
in interface ProofTreeListener
public void proofPruned(ProofTreeEvent e)
proofPruned
in interface ProofTreeListener
public void proofGoalRemoved(ProofTreeEvent e)
proofGoalRemoved
in interface ProofTreeListener
public void proofGoalsAdded(ProofTreeEvent e)
proofGoalsAdded
in interface ProofTreeListener
public void proofGoalsChanged(ProofTreeEvent e)
proofGoalsChanged
in interface ProofTreeListener
public void proofStructureChanged(ProofTreeEvent e)
ProofTreeListener
proofStructureChanged
in interface ProofTreeListener
public void smtDataUpdate(ProofTreeEvent e)
ProofTreeListener
Node.getCounterExData()
smtDataUpdate
in interface ProofTreeListener
public void notesChanged(ProofTreeEvent e)
ProofTreeListener
notesChanged
in interface ProofTreeListener
e
- The ProofTreeEvent
.