Uses of Interface
fmrisc.ProofNavigator.Proving.ProofStateListener

Packages that use ProofStateListener

Package	Description
fmrisc.ProofNavigator.Proving
fmrisc.ProofNavigator.SWT

Uses of ProofStateListener in fmrisc.ProofNavigator.Proving

Methods in fmrisc.ProofNavigator.Proving that return ProofStateListener

Modifier and Type	Method and Description
ProofStateListener	ProofState.getListener() Get listener that is notified when proof state has changed.

Methods in fmrisc.ProofNavigator.Proving with parameters of type ProofStateListener

Modifier and Type	Method and Description
void	ProofState.setListener(ProofStateListener listener) Set listener that is notified when proof state has changed.

Uses of ProofStateListener in fmrisc.ProofNavigator.SWT

Classes in fmrisc.ProofNavigator.SWT that implement ProofStateListener

Modifier and Type	Class and Description
class	ProofTreeItem Graphical representation of proof state.