Uses of Class
de.saar.chorus.ubench.Preferences

Packages that use Preferences

Package	Description
de.saar.chorus.ubench	Provides the classes for the Underspecification Workbench GUI.

Uses of Preferences in de.saar.chorus.ubench

Methods in de.saar.chorus.ubench that return Preferences

Modifier and Type	Method	Description
Preferences	Preferences.clone()	Clones this.
static Preferences	Preferences.getInstance()	Returns the master Preferences object which is a new one if there is no master yet.

Methods in de.saar.chorus.ubench with parameters of type Preferences

Modifier and Type	Method	Description
void	Preferences.copyTo(Preferences second)	Copies these preferences to a second given Preferences object.