Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end]

Ancestors
	FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE]

Clients
	ASSERTION_HELPER
	EQA_COMMONLY_USED_ASSERTIONS
	EV_GRID_I*
	EV_MENU_ITEM_LIST_IMP*
	EV_WIDGET_I*
	EV_WIDGET_IMP*
	PROXY_COMPARABLE [G]
	SD_OPEN_CONFIG_MEDIATOR



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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