Uses of Interface
edu.toronto.cs.util.XPreferences

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)