class TEST_REGISTRATION2 Ancestors ES_TEST* Clients ROOT TEST_REGISTRATION2 Suppliers BOOLEAN COURSE REGISTRATION REL [G -> attached ANY, H -> attached ANY] SET [G -> attached ANY] STUDENT TEST_REGISTRATION2
Generated by ISE EiffelStudio