class COMPARABLE_VERTEX_DISTANCE_PAIR [G -> COMPARABLE] Ancestors VERTEX_DISTANCE_PAIR [G -> attached ANY] Clients COMPARABLE_GRAPH [V -> COMPARABLE] COMPARABLE_VERTEX_DISTANCE_PAIR [G -> COMPARABLE] Suppliers COMPARABLE* COMPARABLE_VERTEX_DISTANCE_PAIR [G -> COMPARABLE] INTEGER_64
Generated by ISE EiffelStudio