Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class AGENT_EQUALITY_TESTER [G] Ancestors EQUALITY_TESTER [G] PART_COMPARATOR* [G] Clients AGENT_EQUALITY_TESTER [G] MA_MEMORY_CHANGE_MEDIATOR MA_OBJECT_SNAPSHOT_MEDIATOR Suppliers AGENT_EQUALITY_TESTER [G] FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE]
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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