Uses of Class
fmrisc.ProofNavigator.Communication.Store

Packages that use Store

Package	Description
fmrisc.ProofNavigator

Uses of Store in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return Store

Modifier and Type	Method and Description
static Store	State.getStore() Get current store.