|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProofStateListener | |
---|---|
fmrisc.ProofNavigator.SWT | |
fmrisc.Proving |
Uses of ProofStateListener in fmrisc.ProofNavigator.SWT |
---|
Classes in fmrisc.ProofNavigator.SWT that implement ProofStateListener | |
---|---|
class |
ProofTreeItem
Graphical representation of proof state. |
Uses of ProofStateListener in fmrisc.Proving |
---|
Methods in fmrisc.Proving that return ProofStateListener | |
---|---|
ProofStateListener |
ProofState.getListener()
Get listener that is notified when proof state has changed. |
Methods in fmrisc.Proving with parameters of type ProofStateListener | |
---|---|
void |
ProofState.setListener(ProofStateListener listener)
Set listener that is notified when proof state has changed. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |