Package | Description |
---|---|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
Modifier and Type | Method and Description |
---|---|
void |
ProofTreeAdapter.notesChanged(ProofTreeEvent e)
|
void |
ProofTreeListener.notesChanged(ProofTreeEvent e)
|
void |
ProofTreeAdapter.proofClosed(ProofTreeEvent e)
The proof trees has been closed (the list of goals is empty).
|
void |
ProofTreeListener.proofClosed(ProofTreeEvent e)
The proof trees has been closed (the list of goals is empty).
|
void |
ProofTreeAdapter.proofExpanded(ProofTreeEvent e)
The node mentioned in the ProofTreeEvent has changed, and/or
there are new descendants of that node.
|
void |
ProofTreeListener.proofExpanded(ProofTreeEvent e)
The node mentioned in the ProofTreeEvent has changed, and/or
there are new descendants of that node.
|
void |
ProofTreeAdapter.proofGoalRemoved(ProofTreeEvent e)
The goal mentioned in the ProofTreeEvent has been removed
from the list of goals.
|
void |
ProofTreeListener.proofGoalRemoved(ProofTreeEvent e)
The goal mentioned in the ProofEvent has been removed
from the list of goals.
|
void |
ProofTreeAdapter.proofGoalsAdded(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
ProofTreeListener.proofGoalsAdded(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
ProofTreeAdapter.proofGoalsChanged(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
ProofTreeListener.proofGoalsChanged(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
ProofTreeAdapter.proofIsBeingPruned(ProofTreeEvent e)
The proof tree under the node mentioned in the ProofTreeEvent
is in pruning phase.
|
void |
ProofTreeListener.proofIsBeingPruned(ProofTreeEvent e)
The proof tree under the node mentioned in the ProofTreeEvent
is in pruning phase.
|
void |
ProofTreeAdapter.proofPruned(ProofTreeEvent e)
The proof tree has been pruned under the node mentioned in the
ProofTreeEvent.
|
void |
ProofTreeListener.proofPruned(ProofTreeEvent e)
The proof tree has been pruned under the node mentioned in the
ProofTreeEvent.
|
void |
ProofTreeAdapter.proofStructureChanged(ProofTreeEvent e)
The structure of the proof has changed radically.
|
void |
ProofTreeListener.proofStructureChanged(ProofTreeEvent e)
The structure of the proof has changed radically.
|
void |
ProofTreeAdapter.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.
|
void |
ProofTreeListener.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.
|
Copyright © 2003-2019 The KeY-Project.