Uses of Class
fmrisc.ProofNavigator.Communication.Presenter

Packages that use Presenter

Package	Description
fmrisc.ProofNavigator

Uses of Presenter in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return Presenter

Modifier and Type	Method and Description
static Presenter	State.getPresenter() Get current presenter.