class TaskTree.TaskTreeProofTreeListener extends ProofTreeAdapter
Constructor and Description |
---|
TaskTreeProofTreeListener() |
Modifier and Type | Method and Description |
---|---|
void |
proofClosed(ProofTreeEvent e)
invoked if all goals of the proof are closed
|
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
|
notesChanged, proofExpanded, proofIsBeingPruned, proofPruned, proofStructureChanged, smtDataUpdate
public void proofClosed(ProofTreeEvent e)
proofClosed
in interface ProofTreeListener
proofClosed
in class ProofTreeAdapter
public void proofGoalRemoved(ProofTreeEvent e)
proofGoalRemoved
in interface ProofTreeListener
proofGoalRemoved
in class ProofTreeAdapter
public void proofGoalsAdded(ProofTreeEvent e)
proofGoalsAdded
in interface ProofTreeListener
proofGoalsAdded
in class ProofTreeAdapter
public void proofGoalsChanged(ProofTreeEvent e)
proofGoalsChanged
in interface ProofTreeListener
proofGoalsChanged
in class ProofTreeAdapter