Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class REVERSE_PART_COMPARATOR [G] General cluster: base_extension description: "Reverse partial order comparators" create: make Ancestors PART_COMPARATOR* [G] Queries comparator: PART_COMPARATOR [G] less_than (u, v: G): BOOLEAN Commands set_comparator (a_comparator: [like comparator] PART_COMPARATOR [G]) Constraints comparator not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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