Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	PREFERENCE_MANAGER

General
	cluster: preferences
	description: "Manager of related preference values."
	create: make

Ancestors
	PREFERENCE_EXPORTER

Queries
	known_preference (a_name: STRING_8): BOOLEAN
	namespace: STRING_8

Constraints
	has preferences
	has namespace
	namespace valid



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org