Uses of Interface
fmrisc.Proving.ProofStateListener

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.