Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
class SUBSET_STRATEGY_HASHABLE [G] General cluster: base.structures.set.strategies description: "Strategies for calculating several features for subsets containing HASHABLEs." Ancestors SUBSET_STRATEGY [G] Queries disjoint (set1, set2: TRAVERSABLE_SUBSET [G]): BOOLEAN Commands symdif (set1, set2: TRAVERSABLE_SUBSET [G])
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com