deferred class
	COUNTABLE_SEQUENCE [G]

Ancestors
	ACTIVE* [G]
	COUNTABLE* [G]
	LINEAR* [G]

Descendants
	PRIMES

Clients
	COUNTABLE_SEQUENCE* [G]

Suppliers
	COUNTABLE_SEQUENCE* [G]
	INTEGER_32
	LINKED_LIST [G]

Generated by ISE EiffelStudio