Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EG_LINK General cluster: model description: "An EG_LINK connects two EG_LINKABLEs" create: make_with_source_and_target, make_directed_with_source_and_target Ancestors EG_ITEM Action sequences is_directed_change_actions: EV_NOTIFY_ACTION_SEQUENCE name_change_actions: EV_NOTIFY_ACTION_SEQUENCE Queries graph: detachable EG_GRAPH id: INTEGER_32 is_directed: BOOLEAN is_hashable: BOOLEAN is_reflexive: BOOLEAN name_32: detachable READABLE_STRING_32 source: EG_LINKABLE target: [like source] EG_LINKABLE Commands set_is_directed (b: BOOLEAN) set_name_32 (a_name: detachable READABLE_STRING_32) Constraints source not void target not void is directed change actions not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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