|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XPreferences | |
---|---|
edu.toronto.cs.gui | Graphical Interaface to XChek multi-valued model-checker |
Uses of XPreferences in edu.toronto.cs.gui |
---|
Methods in edu.toronto.cs.gui that return XPreferences | |
---|---|
static XPreferences |
KEGTreeFrame.getGUIPreferences()
|
static XPreferences |
XChekGUI.getGUIPreferences()
|
static XPreferences |
GrappaFrame.getGUIPreferences()
|
Methods in edu.toronto.cs.gui with parameters of type XPreferences | |
---|---|
void |
XPreferencesPresenter.setCurrentPreference(XPreferences v)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |