Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class AGENT_BASED_EQUALITY_TESTER [G] General cluster: gobo_extension description: "To use with Gobo comparison facilities but implemented using agents instead." create: make Ancestors EQUALITY_TESTER [G] KL_EQUALITY_TESTER [G] KL_PART_COMPARATOR* [G] Queries action: FUNCTION [G, G, BOOLEAN] attached_greater_than (u, v: attached G): BOOLEAN attached_less_than (u, v: attached G): BOOLEAN detachable_greater_than (u, v: detachable G): BOOLEAN detachable_less_than (u, v: detachable G): BOOLEAN greater_than (u, v: G): BOOLEAN is_equal (other: [like Current] AGENT_BASED_EQUALITY_TESTER [G]): BOOLEAN less_than (u, v: G): BOOLEAN test (v, u: G): BOOLEAN Constraints action not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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