|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Store | |
---|---|
fmrisc.ProofNavigator |
Uses of Store in fmrisc.ProofNavigator |
---|
Methods in fmrisc.ProofNavigator that return Store | |
---|---|
static Store |
State.getStore()
Get current store. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |