Uses of Class
org.eclipse.ocl.common.internal.preferences.BooleanPreference

Packages that use BooleanPreference

Package	Description
org.eclipse.ocl.pivot.options

Uses of BooleanPreference in org.eclipse.ocl.pivot.options

Fields in org.eclipse.ocl.pivot.options declared as BooleanPreference

Modifier and Type	Field and Description
static BooleanPreference	PivotConsoleOptions.ConsoleModeltypesInformation