Automatic generation produced by ISE Eiffel

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

General
	cluster: model
	description: 
		"Objects that is a model for a graph
		Use EG_FIGURE_WORLD to create a view."

Ancestors
	ANY

Action sequences
	cluster_add_actions: EG_CLUSTER_ACTION
	cluster_remove_actions: EG_CLUSTER_ACTION
	link_add_actions: EG_LINK_ACTION
	link_remove_actions: EG_LINK_ACTION
	node_add_actions: EG_NODE_ACTION [[like node_type] EG_NODE]
	node_remove_actions: EG_NODE_ACTION [[like node_type] EG_NODE]

Queries
	flat_clusters: [like clusters] ARRAYED_LIST [EG_CLUSTER]
	flat_links: [like links] ARRAYED_LIST [EG_LINK]
	flat_nodes: [like nodes] ARRAYED_LIST [[like node_type] EG_NODE]
	has_cluster (a_cluster: EG_CLUSTER): BOOLEAN
	has_link (a_link: EG_LINK): BOOLEAN
	has_linkable (a_linkable: EG_LINKABLE): BOOLEAN
	has_node (a_node: [like node_type] EG_NODE): BOOLEAN
	is_empty: BOOLEAN

Commands
	add_cluster (a_cluster: EG_CLUSTER)
	add_link (a_link: EG_LINK)
	add_node (a_node: [like node_type] EG_NODE)
	remove_cluster (a_cluster: EG_CLUSTER)
	remove_link (a_link: EG_LINK)
	remove_node (a_node: [like node_type] EG_NODE)
	wipe_out

Constraints
	nodes not void
	clusters not void
	links not void
	node add actions not void
	cluster add actions not void
	link add actions not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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